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:

Laboratórna technika a výpočty

E-book

E-book

Zuzana Jurašeková

Úvod k praktikám k experimentálnym metódam biofyziky

The university textbook titled Laboratory Techniques and Calculations is designed for the first-year students of the bachelor's degree in Biophysics at the Institute of Physics, Faculty of Sciences, P. J. Šafárik University in Košice. The objective is to equip students with fundamental knowledge and practical skills for the work in a chemical laboratory. It is essential for addressing different biophysical issues and experiments that students will have to solve later. The textbook comprises three principal sections: a theoretical part focused on the calculations, a section dedicated to laboratory work, and the last part offers a brief introduction to spectroscopy. The theoretical part summarizes the basic definitions and equations related to the characterization and preparation of solutions and mixtures. The second, most comprehensive part provides guidance and suggestions for safe and efficient practices in a chemical laboratory. The primary focus is on the manipulation of chemical substances and the use of specific small laboratory instruments and equipment. The fundamental laboratory procedure guides for the selected laboratory works are also provided. As part of a short introduction to spectroscopy, students can become familiar with fundamental spectroscopic concepts and principles. UV-VIS absorption spectrophotometry receives special attention, along with a brief introduction to fluorescence. The textbook is supplemented by various practical and theoretical tasks, as well as numerous web links to further explanatory texts and videos.

Download the e-book for free (pdf)

Ecology of Soil Animals

E-book

E-book

Natália Raschmanová - Ľubomír Kováč

The text summarizes the basic knowledge about the functioning of the soil ecosystem with a focus on soil protists and dominant groups of soil animals. Characteristics of each soil animal group include basic morphology, ecology, distribution, population dynamics and their importance in the soil ecosystem. The aim of the text is to gain a basic understanding of the diversity and interactions of soil fauna with the soil environment. It deals with the ecological classification of soil fauna on the basis of body size, presence in the soil during the life cycle, food preference and by locomotion. It highlights important morphological and ecophysiological adaptations of soil fauna to physical and chemical environmental factors. The text also gives an overview of the basic methods in the field collection of soil fauna and their extraction from soil samples under laboratory conditions. It further informs on the method of taxonomic identification and ecological evaluation of soil fauna communities. Discusses the soil fauna of different types of ecosystems. It highlights the differences in soil fauna communities that inhabit grassland and forest habitats, and agricultural soils. This teaching material is intended for students in biology degree programmes.

Download the e-book for free (pdf)

Určitý integrál

E-book

E-book

Ondrej Hutník

The concept of the integral is one of the most significant concepts in mathematics as a whole. In its most primitive form, it was already used by the ancient Greeks in the creation of Euclidean geometry. However, it was only after Descartes' work on analytical geometry in 1637 that mathematicians could begin to consider the integral as a subject of analysis. Descartes' work laid the groundwork for the discovery of infinitesimal calculus by Leibniz and Newton around 1665. At that time, a great dispute arose over the priority of this discovery, dividing scholars of Germany and England into two opposing camps, each favoring their own champion. Today, we know that Newton's work on fluxions and fluents was somewhat earlier, but Leibniz's notation and approach have gained more acceptance in the mathematical world, and the symbols ∫ ∫ and d d are still used today. A brief overview of the history of the integral will be presented in Chapter 1.

Today, there is a plethora of scripts, textbooks, and books dedicated to explaining the concept of the integral. Therefore, every potential author faces the initial question of whether to write another text on this topic. Our affirmative answer to this question was driven by the students' request to find the subject matter of a part of the winter semester of the second year presented in a coherent form. The second motivation is a slightly different approach to the topic. If we consider the methods typically used in solving problems and gaining routine with a certain integral, it mainly involves the Newton-Leibniz formula, and often there is little time left to compute the definite (Riemann) integral using its definition. Therefore, we included a discussion of the Newton integral in Chapter 2, which reflects this fact and is directly related to the indefinite integral, whose various calculation methods receive relatively much attention in the previous semester. Only after that, in Chapter 3, do we build the theory of the Riemann integral, present criteria for its existence, classes of integrable functions, basic properties, and finally its relationship with the Newton integral. Questions primarily concerning geometric applications are addressed in Chapter 4, and in the final chapter, we focus on extending the Riemann integral to unbounded functions and unbounded intervals.

Download the e-book for free (pdf)

Náhodné procesy a ich aplikácie

E-book

E-book

Valéria SkřivánkováMartina Hančová

The publication is focused on discrete random processes, primarily on Markov chains, which have wide application in the field of economics and finance.

The textbook is divided into five chapters, the first of which serves as an introduction to random processes and provides definition, properties and classification of random processes in general. The second chapter discusses Markov chains with discrete time, including valuation of transitions between states and their optimal management. The third chapter focuses on special Markov chains with continuous time and emphasizes construction and solution to the system of Kolmogorov differential equations, which describe the dynamics of the process development. The last two chapters illustrate applications of Markov chains using examples of queuing system modeling and renewal theory.

Besides the explanation of basic terms, definitions and theorems with proofs, this textbook also provides number of solved examples to illustrate the discussed theory. Problem assignments are placed at the end of each chapter, so that readers can test their understanding of the content as they progress through the book. Solutions to all the problems and the list of references are provided at the end of the publication.

This textbook is primarily intented for students majoring in Economics and Financial Mathematics at the Faculty of Science of Pavol Jozef Šafárik University in Košice, and it covers content of the course “Random Proceses 1“ thought there. It might however serve also students from other schools in similar progams or professionals interested in this topic.

Download the e-book for free (pdf)

Jarná škola doktorandov 2022

E-book

E-book

Peter Fedoročko (eds.)

From June 14 to June 17, 2022, the 8th annual Spring School for Doctoral Students at Pavol Jozef Šafárik University in Košice will take place in Liptovský Ján. The scientific program of the spring school will comprise 3 plenary lectures by leading scientific experts and 1 workshop. Doctoral students will present their research papers in two sections: 22 doctoral students of Faculty of Public Administration, Faculty of Law and Faculty of Arts, and 26 doctoral students of Faculty of Medicine and Faculty of Science. The scientific programme of the spring school will also include a panel discussion with the management of Pavol Jozef Šafárik University in Košice.

Download the e-book for free (pdf)

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