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:

18th Czech and Slovak Conference on Magnetism – CSMAG’25

18th Czech and Slovak Conference on Magnetism –...

E-book

E-book

Jozef Bednarčík - Hana Vargová (eds.)

The Czech and Slovak Conference on Magnetism (CSMAG) is a scientific meeting that honors a longstanding tradition initiated in Košice in 1960. Evolving from a regional gathering of the Czechoslovak magnetic community into a prominent international forum, CSMAG brings together researchers from diverse fields of magnetism. The conference covers a wide range of topics including theoretical and experimental magnetism, magnetic materials for energy and spintronics applications, low-dimensional and molecular magnets, rare-earth and actinide systems, and multifunctional materials. With contributions from over 20 countries, CSMAG’25 fosters cross-disciplinary collaboration and showcases the latest advances in both fundamental studies and practical applications of magnetic phenomena.

Download the e-book for free (pdf)

POROUS MATERIALS FOR ENVIRONMENTAL APPLICATIONS 2024

POROUS MATERIALS FOR ENVIRONMENTAL APPLICATIONS...

E-book

E-book

Miroslav Almáši (ed.)

The book of abstracts from the conference "Porous Materials for Environmental Applications 2024" is a collection of contributions of the conference participants, which contain original results of their scientific and research activities. The conference was aimed to share new findings dealing with the preparation, characterization and application of porous materials in environmental fields.

Download the e-book for free (pdf)

Zborník príspevkov z 11. Dní doktorandov experimentálnej biológie rastlín a 13. Konferencie experimentálnej biológie rastlín

Zborník príspevkov z 11. Dní doktorandov...

E-book

E-book

Martin Bačkor - Silvia Mihaličová (eds.)

Proceedings of the 11th Conference of Doctoral Students in Experimental Plant Biology and the 13th Conference on Experimental Plant Biology, Košice, September 9–13, 2013

13th Conference of Experimental Plant Biology (Sections)

  1. Cell Biology and Cytology: Michal Martinka
  2. Developmental Biology and Morphogenesis: Alexander Lux
  3. “Omics” – Genomics, Transcriptomics, and Proteomics: Boris Vyskot
  4. Hormonal Regulation of Plant Growth and Development: Jana Albrechtová
  5. Photosynthesis, Assimilate Production, and Transport: Jiří Šantrůček
  6. GMOs and Plant Biotechnology: Eva Čellárová
  7. Biophysical Signals and Optical Properties of Plants: Jan Nauš Stress
  8. Physiology: Ľudmila Slováková
  9. Plant Interactions with Organisms: Martin Bačkor
  10. Water and Mineral Nutrition of Plants: Miroslav Repčák
  11. Productive Biology of Plants and Agriculture: Václav Hejnák
  12. Ecological Plant Biology and Global Climate Change: Michal Marek

11th Days of Doctoral Students in Experimental Plant Biology (Sections)

  1. Molecular & Cell Genetics: Viktor Žárský
  2. Developmental Biology: Alexander Lux
  3. Biochemistry & Physiology: Jiří Šantrůček
  4. Systematics & Evolution: Jana Albrechtová
  5. Ecophysiology: Jana Albrechtová

Download the e-book for free (pdf)

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