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:

Autumn Electrochemical Meeting

Autumn Electrochemical Meeting

E-book

E-book

Jana Shepa (ed.)

The book of abstracts from the first year of the international conference Autumn electrochemical meeting is composed of contributions from the participants of this student conference.

The conference consisted of one invited lecture and six student lectures. The message of this meeting is to create a dialogue between students of electrochemistry and the mutual exchange of knowledge. All contributions are professionally processed and inspiring.

Download the e-book for free  (pdf)

Profesori Prírodovedeckej fakulty UPJŠ v Košiciach 1963 – 2023

Profesori Prírodovedeckej fakulty UPJŠ v...

E-book

E-book

Renáta Oriňaková

We have prepared a publication that focuses on the personalities of professors. These personalities represent entire scientific teams, participated in the creation of new study programs, and had a significant impact on the formation of the faculty. Factually, we tried to capture the basic data in a uniform structure. We are building on a similar publication from ten years ago, which greatly helped us, especially with professors who worked at the faculty many years ago and whose memories are gradually fading. The ambition of the publication is to contribute to the preservation of basic information that is closely related to the history of the faculty.

doc. RNDr. Roman Soták, PhD. Dean of the Faculty of Science, UPJŠ in Košice

Download e-book for free (pdf)

Študentská vedecká konferencia PF UPJŠ 2023

Študentská vedecká konferencia PF UPJŠ 2023

E-book

E-book

Marián Kireš  (ed.)

Proceedings of Abstracts from the Student Scientific Conference of the Faculty of Science, Pavol Jozef Šafárik University in Košice

The Student Scientific Conference (SSC) represents the culmination of long-term and intensive work on a selected topic, collaboration with a supervisor, or a broader team at the workplace. In practice, however, it often marks the beginning of scientific research, focusing on a chosen subject, field, or close cooperation with a future supervisor of a bachelor's, master's, or doctoral thesis.

This year, the Student Scientific Conference took place on April 19, 2023, featuring 14 sections, a programming competition, and the IHRA contest. Bachelor’s and master’s students presented 101 contributions. Additionally, 8 high school students participated non-competitively, presenting their SOČ projects; 14 students took part in the programming competition, and 3 students competed in the IHRA contest.

We believe that the proceedings of abstracts and related documents serve not only as an archive but also as a dignified presentation of scientific activities at our faculty for the wider public.

Download the e-book for free  (pdf)

STEAM projekty a skúmania vo vzdelávaní
  • New

STEAM projekty a skúmania vo vzdelávaní

E-book

E-book

Ľubomír Šnajder a kol.

The publication is dedicated to teachers and future teachers of informatics, mathematics and science subjects. The publication presents activities that move students from the role of passive users of digital technologies to that of curious researchers, creative creators and critical thinkers. In the first chapter, we introduce educational strategies and practices to actively engage students in learning. In the second chapter, we briefly describe selected digital technologies that can be an aid to exploring the world around us and creating useful products. In the third chapter, we provide specific ideas for STEAM exploration and projects in which students search answers to real-world questions and solutions to real-world problems. Subject didacticians, experts from different fields and teachers worked closely together to develop ideas for the methodologies.

Download the e-book for free (pdf)

Attachment (zip)

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