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:

Š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)

Prehľad dejín biológie, lekárstva a farmácie

E-book

E-book

Martin BačkorMiriam Bačkorová

The proposed text focuses on the history of studying biology, medicine, and pharmacy as scientific disciplines from prehistoric times through antiquity, the Middle Ages, and the modern era. The text chronologically organizes the most significant figures in the history of biological scientific disciplines, outlines key characteristics of major historical discoveries, and reevaluates their significance from the perspective of 21st-century science.

The educational text is chronologically divided into the most significant periods of civilization development. The last two completed centuries—the 19th and 20th—are subdivided into major life science fields due to the unprecedented growth of biological disciplines and the resulting volume of acquired information.

Since it can sometimes be challenging in science to define what constitutes the past versus the present of a particular discipline, we have excluded significant biological discoveries from the early 21st century, which are typically regarded as the “present” of biology.

Download the e-book for free (pdf)

Exactly Solvable Models in Statistical Physics

E-book

E-book

Jozef Strečka

The present textbook deals with exactly solved models and their diverse applications in several branches of physics such as mathematical physics, statistical physics, condensed matter physics and so on. Exactly soluble models are currently considered as an inspiring research field in its own right, which regrettably requires a considerable knowledge of sophisticated mathematics. Accordingly, my primary ambition was to provide an intro- ductory course for undergraduate students that would cover the simplest exactly solved models, whose rigorous solutions are available even after modest calculation. The present textbook should be therefore regarded as an auxiliary graduate-level textbook, which should serve as the student’s guide on this beautiful but surely intricate subject.

Download the e-book for free (pdf)

Vybrané kapitoly z biogeografie pre geografov

E-book

E-book

Dušan BarabasAlena Labunová

These study materials aim to provide basic information about biogeographical issues from a geographical perspective, i.e., a perspective focused primarily on the aspect of spatial differentiation of the biosphere. The basis for the division of the biosphere is its historical development, during which individual taxa and communities were formed.

The historical development of the biosphere did not occur under stable, constant conditions, but rather in ever-changing conditions caused by the position of our planet within the solar system, the position of the Earth's axis relative to the ecliptic, and also the position of the solar system within the galaxy. All changes in the Earth's position, together with the movement of continents (drift) and climate changes, created the prerequisites for the spatial expansion of the biosphere. The historical development of the biosphere, various perspectives, the hierarchical level of differentiation, and the causes of differentiation are incorporated in this study material, whose aim is to outline the basic principles of this division.

The goal is also to highlight certain differences in the understanding of terminology, as well as to point out some fundamental relationships operating within the landscape system in the broadest sense of the word. The section devoted to the ecological principles of the functioning and formation of the landscape system, according to MIČIAN and ZATKALÍK (1984), outlines the issues of understanding the terms ecosystem and geosystem. For this reason, the presented text includes chapters that attempt to explain the understanding and approach to some basic concepts.

These study materials are intended for students of single-subject, interdisciplinary, and supplementary studies as basic teaching material. By expanding the knowledge from this study material with further information, which is elaborated in more detail in the literature listed in the bibliography of this text, graduates will gain a comprehensive view of biogeographical issues.

Authors

Download the e-book for free (pdf)

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