Teória vypočítateľnosti

E-book

Ľubomír Antoni-Stanislav Krajči

An important part of theoretical computer science is the problem of Turing machines. This computational model has two basic properties: like any other computational program, the software of a Turing machine is composed of instructions, but in its case they are all of a single type. Every other (so far known) computer program can be transformed into a Turing machine program without loss of information. While the second feature reduces the question of what a calculator cannot do to the question of what a Turing machine cannot do, the first feature allows a much simpler investigation of such a question. Using this computational model, we can thus find concrete problems that no automaton can ever deal with (perhaps the most famous is the problem of the Turing machine stopping). Their existence demonstrates the fundamental limitations of (not only ideal) computational means, and thus encourages both criticality and humility in our thinking.

Download e-book for free (pdf)

Quantity

978-80-574-0284-8

Data sheet

Method of publication:
E-book (pdf)
Authors:
Ľubomír Antoni - Stanislav Krajči
Document type:
Textbook
Number of pages:
278
Available from:
15.02.2024
Year of publication:
2024
Edition:
1st edition
Publication language:
Slovak
Faculty:
Prírodovedecká fakulta
License:
CC BY NC ND (Uveďte autora - Nepoužívajte komerčne - Nespracovávajte)
- Free for download

16 other products in the same category:

NOVEL TRENDS IN CHEMISTRY, RESEARCH AND...

E-book

E-book

Miroslav Almáši

The scientific book of abstracts from the conference „Novel Trends in Chemistry, Research and Education 2023“ is a summary of the contributions of conference participants, which contain the original results of their scientific and research activities. The contributions published in this volume can be divided according to content into the fields of analytical, inorganic, organic, physical chemistry, biochemistry, didactics of chemistry, and NMR spectroscopy.

Download e-book for free (pdf)

Strojové učenie

E-book

E-book

Gabriela AndrejkováĽubomír Antoni

Machine learning addresses the issues of how computer programs recognize complex patterns and make decisions based on data. In these university textbooks, we focus on theoretical knowledge in the field of machine learning in which we present the creation of concepts for objects, the preparation of concepts, hypotheses and the process of learning from examples. We describe Boolean formulas and their representations, probabilistic learning, linear and logistic regression, linear modeling and classification. Clustering and the Bayesian approach to machine learning conclude this publication.

University textbooks are intended for students of master's degree programs in computer science.

Download e-book for free (pdf)

Linear programming via problem solving

E-book

E-book

Katarína Cechlárová

Linear programming belongs to parts of mathematics with the greatest number of real applications. This Slovak-English problem collection provides an overview of basic knowledge in the area, application problems as well as problems to acquire routine in calculations. It is complemented by questions motivating the student to look for further theoretical principles, construct conterexamples  and formulate arguments to explain the studied phenomena.

Download the e-book for free (pdf)

MAGNETIC DOMAINS: SPECIAL PHYSICAL PRACTICE 1

E-book

E-book

Adriana Zeleňáková

One of the fundamental characteristics of the magnetic state of ferromagnetic materials is the existence of a domain structure. The university textbook "MAGNETIC DOMAINS: SPECIAL PHYSICAL PRACTICE 1" is intended primarily for students of the Master's programme in Physics of Condensed Matter FKLm and for the PhD programme in Progressive Materials PMd within the profile subject Special Practice 1 at the Institute of Physical Sciences of the Faculty of Sciences of the Pavol Jozef Šafárik University in Košice.  The textbook is divided into seven chapters. The first chapter is devoted to the basics of domain theory, including the history of domain observation and the specification of different types of energies in ferromagnetic body. The second chapter presents the relationship between domain structure and magnetisation processes in ferromagnetic materials The third chapter describes the different types of domain-wall interactions with the defect. The fourth chapter illustrates examples of domain structure in selected ferromagnetic body such as grain oriented and non-grain oriented electrical steels, amorphous and nanocrystalline ribbons. The fifth chapter summarises an overview of the different experimental methods used to visualise the domain structure and their advantages or disadvantages with respect to the structure of ferromagnetic materials. The last two chapters, the sixth and the seventh, are devoted to specific experimental tasks for observing the domain structure of a selected polycrystalline sample using the optical microscope Bitter powder method and the MFM (magnetic force microscopy) method. During the preparation of this undergraduate text, its individual parts were developed using the foreign language literature listed in the recommended references.

Download the e-book for free (pdf)

Vybrané heterocyklické zlúčeniny

E-book

E-book

Mariana Budovská

The aim of writing the university textbook "Selected Heterocyclic Compounds" was to create a study aid for students of the Organic Chemistry program, which provides essential information in a clear format for the subject of Heterocyclic Compounds. In selecting the content of the textbook, the goal was to present basic information about the chemistry of the most significant heterocycles. Given that the summary of chemical knowledge about heterocycles is vast, it was not possible to include all heterocyclic compounds in the content.

The intention was for readers to orient themselves in the field of heterocyclic compounds. Separate chapters included in the content address the nomenclature of heterocycles, basic chemical properties of individual heterocycles, their synthesis and reactions, the occurrence of heterocycles in nature, and their practical applications (medications, dyes, pesticides, detergents, etc.).

Download e-book for free (pdf)

ATÓMOVÁ ŠTRUKTÚRA LÁTOK I - Základy RTG...

E-book

E-book

Jozef Bednarčík

Crystallography deals with discerning the arrangement and bonding of atoms in crystalline solids. Almost immediately after their discovery, X-rays began to be used to study the internal structure of substances. The first chapter of this textbook deals with the basic concepts of crystallography. At the beginning, crystalline solids are characterized. In the next section, the basic types of bonds and their characteristics are briefly presented. The main subject of this chapter is the interpretation of basic concepts such as symmetry operations, translational periodicity, grid, elementary cell. Spatial lattices and crystal systems are presented. At the end of this chapter, attention is paid to the description of individual types of defects in crystal structures. In the second chapter, the Bohr model of the hydrogen atom is presented. Individual quantum numbers and their meaning are given. Next, energy levels and allowed transitions within an atom with multiple electrons are described. The second chapter concludes with the characterization of the basic absorption and emission processes. The third chapter is devoted to the production of X-ray radiation and its properties. Sources of X-ray radiation and a description of their operation are presented. Interaction of X-ray radiation with matter, absorption and detection of X-ray radiation are the subject of the last part of this chapter.

Download the e-book for free (pdf)

Zbierka úloh z matematiky pre nematematické odbory
  • On sale!
  • -€7.79

Zbierka úloh z matematiky pre nematematické odbory

€8.37 €0.58 -€7.79
Availability: 50 In Stock

Danica Studenovská a kol. 

Táto zbierka úloh je určená poslucháčom Prírodovedeckej fakulty UPJŠ, ktorí sa v rámci predmetu Matematika I. zoznamujú s pojmami funkcie, limity, derivácie, integrálu a ich aplikáciami. Ide najmä o študentov nematematických odborov a učiteľských kombinácií, avšak táto zbierka je vhodná aj pre iných študentov a záujemcov o základy matematickej analýzy.

Autori

Ecology of Soil Animals

E-book

E-book

Natália Raschmanová - Ľubomír Kováč

The text summarizes the basic knowledge about the functioning of the soil ecosystem with a focus on soil protists and dominant groups of soil animals. Characteristics of each soil animal group include basic morphology, ecology, distribution, population dynamics and their importance in the soil ecosystem. The aim of the text is to gain a basic understanding of the diversity and interactions of soil fauna with the soil environment. It deals with the ecological classification of soil fauna on the basis of body size, presence in the soil during the life cycle, food preference and by locomotion. It highlights important morphological and ecophysiological adaptations of soil fauna to physical and chemical environmental factors. The text also gives an overview of the basic methods in the field collection of soil fauna and their extraction from soil samples under laboratory conditions. It further informs on the method of taxonomic identification and ecological evaluation of soil fauna communities. Discusses the soil fauna of different types of ecosystems. It highlights the differences in soil fauna communities that inhabit grassland and forest habitats, and agricultural soils. This teaching material is intended for students in biology degree programmes.

Download the e-book for free (pdf)

Digitálna forenzná analýza I.

E-book

E-book

Pavol Sokol - Ladislav Bačo - Tomáš Bajtoš

In the university textbook, we present the theoretical foundations and technical details of the activities of a forensic investigator. We describe the identification and provision of digital tracks, file system analysis. analysis of various artifacts of the Windows operating system, analysis of the operating memory. The textbook is also supplemented by a chapter devoted to the analysis of malicious code (malware). University textbooks are intended for students of bachelor's, master's, engineering and doctoral study programs in computer science, but also in non-informatics fields.

Download the e-book for free  (pdf)

Workshop on Quantum Magnetism: Theoretical...

E-book

E-book

Jozef StrečkaHana ČenčarikováAndrej Gendiar (eds.)

The proceeding involves programme and abstracts of Workshop on Quantum Magnetism: Theoretical Challenges and Future Perspectives, which was held on June 7th – June 8th, 2019, in Košice, Slovakia.

The workshop is organized by Faculty of Science of Pavol Jozef Šafárik University in Košice and Institute of Experimental Physics of Slovak Academy of Sciences in Košice under the financial support of Slovak Research and Development Agency.

The main conference topics are devoted to state-of-the-art problems of Quantum Theory of Magnetism inncluding molecular magnetism, highly frustrated magnetism, magnetic phase transitions, quantum spin liquids, strongly correlated systems, exotic quantum states, flat-band systems and quantum entanglement.

Download the e-book for free  (pdf)

Jarná škola doktorandov 2020

E-book

E-book

Peter Fedoročko (ed.)

Proceedings of the 7th Annual Doctoral Spring School 2020

From November 10 to November 11, 2020, the 7th annual Spring School for Doctoral Students at Pavol Jozef Šafárik University in Košice will take place in Košice in a modified mode in the on-line space. The scientific program of the spring school will comprise 2 plenary lectures by leading scientific experts of Pavol Jozef Šafárik University in Košice. Doctoral students will present their research papers in two sections: 24 doctoral students of Faculty of Public Administration, Faculty of Law and Faculty of Arts, and 22 doctoral students of Faculty of Medicine and Faculty of Science.

The scientific programme of the spring school will also include a panel discussion with the management of Pavol Jozef Šafárik University in Košice.

Download the e-book for free  (pdf)

This website uses cookies to ensure you get the best experience on our website