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:

Fotonika

E-book

E-book

Gregor Bánó

Photonics is an application-oriented discipline at the interface of optics, opto-electronics and quantum optics. It includes classical optics extended by the description of physical phenomena and optical devices that rely on quantum (photon) nature of light.
The main objective of the Photonics course is to provide a comprehensive overview of essential optical and photonic phenomena routinely applied in experimental scientific research while working with various light sources (e.g. in the field of biophotonics). The first chapters are devoted to the description of light at different levels. The logical order of subsections in this part corresponds to the structure of the textbook: B. E. A. Saleh, M. C. Teich, Fundamentals of Photonics. The following chapters contain a description of laser operation and an overview of selected optical instruments and their applications.
The body text is complemented by practical notes on the use of theoretical knowledge during daily work in the laboratory. The course of Photonics requires a basic knowledge of mathematics, electromagnetism and optics, and thus it is recommended to students who previously passed through the courses of the Bachelor's program in Physics.

Download the e-book for free (pdf)

Book of Abstracts: International Meeting on...

E-book

E-book

Soňa Király (ed.)

The book of abstracts from International Meeting on Advanced Materials, IMAM 2025, is composed of contributions from participants of this conference. The conference consisted of 16 lectures by mentioned conference participants. The conference is focused on advanced materials and its application in various research areas. All contributions are professionally processed and inspiring.

Download the e-book for free (pdf)

Aproximačné a pravdepodobnostné algoritmy

E-book

E-book

Ondrej KrídloGabriel Semanišin

For computer scientists, the constant challenge is to seek efficient algorithms and various technical and implementation possibilities to improve the computational complexity of currently known algorithms. Partial solutions are offered by approaches such as grid-based methods and parallelization of computation. Quantum computers represent a significant but still unfulfilled promise. From a theoretical perspective, probabilistic and approximation approaches provide very effective solutions, and these are the methods we aim to explore in detail.

These electronic university textbooks serve as supplementary materials for the course Approximation and Probabilistic Algorithms. They were developed from the authors' materials and contributions by Prof. RNDr. Viliam Geffert, DrSc., whom the authors thank for providing the manuscript. Acknowledgments also extend to RNDr. Ján Katrenič, PhD., who prepared the first set of exercises for the course, and Žaneta Semanišinová, who reviewed large portions of the text and contributed suggestions for its improvement.

Download the e-book for free (pdf)

Základné fyzikálne praktikum III.

E-book

E-book

Janka Vrláková - Stanislav Vokál

Atomic and nuclear physics are relatively young scientific disciplines forming the final part of the general physics course at the Faculty of Physics of the Jagiellonian University. Their aim is to explain the nature of the basic physical properties of atoms, atomic nucleus and elementary particles.

This is also the content of the lectures and exercises ‘General Physics IV’ in the 2nd year of the Bachelor's degree in Physics at the Faculty of Natural Sciences (PF) of the P.J. Šafárik University (UPJŠ) in Košice. They are followed by optional lectures ‘Nuclear Radiation in the Environment’, ‘Introduction to the Physics of the Microworld’ in the 3rd year of the Bachelor's degree of single-discipline study of physics, or teacher study of physics in combination with another subject, and ‘Subnuclear Physics’ in the 1st year of the Master's degree of teacher study of physics in combination with another subject.

In the aforementioned lectures, the latest experimental findings on the structure and behaviour of the microworld are presented by means of physical theories and their subsequent experimental verification in experiments.

Download the e-book for free (pdf)

Študentská vedecká konferencia PF UPJŠ 2013

E-book

E-book

Vladimír Zeleňák (ed.)

The publication contains abstracts of contributions presented at the Student Scientific Conference of the Faculty of Natural Sciences at UPJŠ in Košice, held on April 25, 2013. The event was marked by the celebration of the 50th anniversary of the Faculty of Natural Sciences at UPJŠ and was part of a series of events called ScienceFest.

Download the e-book for free (pdf)

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