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:
University 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

4 other products in the same category:

Bibliography of the amphibian and reptile research in Slovakia between 1791 and 2017

Bibliography of the amphibian and reptile...

E-book

E-book

Marcel UhrinDavid JandzikAndrej ČerňanskýMichal RindošBlanka LehotskáStanislav DankoJán KautmanPeter MikulíčekPeter UrbanDaniel Jablonski

Bibliographies provide basic scientific information, illustrate quality and intensity of research in a particular topic, area, or time, and thus help build a cultural-historical perspective of society’s appreciation of knowledge and education. Here we provide a bibliography of herpetological research in the region of Slovakia between the years 1791 and 2017. We collected 2,183 references authored by 1,453 different authors and covering all species of amphibians (18) and reptiles (13) occurring in Slovakia and, in addition, amphibian and reptile taxa occurring in 94 other countries.

Most of the contributions were published in popular magazines and non-indexed journals, while only about 12% of all references represent scientific articles from journals indexed in relevant scientific databases. The extensiveness of study on amphibians and reptiles has varied among different periods within the selected time frame. However, an obvious intensification in the field of herpetology can be observed, especially during the second half of the 20th century. While there have only been few professionals specialized in herpetology, an important role in promoting the research and conservation of amphibians and reptiles in Slovakia has been played by non-governmental organizations and hobbyists. The most frequent type of herpetological data in the referenced literature comes from faunistic research, followed by conservation and general information on herpetofauna, with the majority of published articles in indexed journals coming from the fields of palaeontology, phylogeography, and population genetics.

The presented bibliography is the first step towards building a solid base for future systematic herpetological research in the country and Central Europe.

Download the e-book for free (pdf)

Počítačová fyzika I

Počítačová fyzika I

E-book

E-book

Milan Žukovič

The textbook Computational Physics I covers the topics taught in the course of the same name at the bachelor's level of the Physics study program, as well as in the course Application of Numerical Methods at the bachelor's level of the Applied Informatics study program.

The text builds upon the basic course in numerical methods, focusing on explaining the fundamental principles of computer-based solutions to some typical physics problems. It includes both the area of deterministic methods for solving problems modeled by ordinary and partial differential equations, as well as the area of stochastic Monte Carlo simulations. The course Computational Physics I lays the foundation for further study of more advanced computational methods taught at the master's level in the subject Computational Physics II. Nowadays, the use of computers as a tool for solving real physics problems, and for students as a tool for preparing their final bachelor's or master's theses, is almost indispensable.

This has led to the creation of numerous user-oriented software packages in various environments for solving a wide range of problems. However, without a thorough understanding of how individual computational techniques work, these programs become black boxes with many pitfalls and risks in their use. Therefore, this text emphasizes understanding both the strengths and weaknesses of individual methods and the assumptions for their successful application.

Download the e-book for free (pdf)

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