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

16 other products in the same category:

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

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)

Foundations of nonequilibrium statistical physics

Foundations of nonequilibrium statistical physics

€29.22
Availability: 10 In Stock

Michal Jaščur -Michal Hnatič

In the textbook, the processes belonging to an area of  nonequilibrium physics, which make the basis for the study and analysis of compex phenomena  of statistical mechanics, are described. The Boltzmann equation for distribution function is derived and on this basis the hydrodynamic equations are constructed.  Stochastic processes are described separately and Fokker-Planck equation for density probability  is derived. Textbook is intended for the students of second year of master study at Faculty of Science of P. J. Šafarik University.   

Autors

Zoológia bezchordátov

Zoológia bezchordátov

€11.02
Availability: 121 In Stock

 Ľubomír Panigaj - Peter Ľuptáčik 

(Náčrt systému a fylogenézy)

Učebný text je primárne určený pre študentov jednoodborového štúdia biológie a všeobecnej ekológie, ako aj odborom učiteľského štúdia v rôznych kombináciách s biológiou. Venuje sa v nich opisu jednotlivých skupín živočíchov, ich morfológiu a anatómiu ilustruje na obrazových materiáloch. K jednotlivým morfologickým a anatomickým štruktúram sa v texte nevyjadrujeme podrobnejšie, nakoľko text nadväzuje na predmet Porovnávacia morfológia živočíchov, kde na úrovni organológie boli tieto najvýznamnejšie štruktúry v rámci prednášok a cvičení detailne vysvetlené a opísané. Rozsah učebného textu nie je veľký, podávame v ňom základné minimum poznatkov, čo je podmienené jednak rozsahom predmetu, ktorý je len jednosemestrový, jednak tým, že ďalšie, špecializované predmety rozširujú spektrum poznatkov napr. na úrovni entomológie, hydrobiológie alebo pôdnej biológie. V zavere niektorých kapitol formulujeme niekoľko cvičných otázok, ktoré si študenti môžu na základe predchádzajúceho textu zodpovedať, s podobnými otázkami sa totiž môžu stretnúť na skúške alebo na štátniciach.

Autori

The 5th International Conference on Nanomaterials: Fundamentals and Applications

The 5th International Conference on...

E-book

E-book

Veronika NiščákováIvana Šišoláková (eds.)

Abstracts of the 5th Intemational Conference Nanomaterials: Fundamentals and Applications (NF A) 2021 is the contributions summary of the conference participants. The conference will feature four invited lectures and ten registered lectures. This conference is a tool for creating a dialogue between experts in the field of nanomaterials, their use and overall application in various fields.

Papers in the proceedings are thematically divided into 6 areas. All contributions are highly professional and interesting and can contribute to further creative scientific work.

Download the e-book for free  (pdf)

Otázky a úlohy zo všeobecnej chémie

Otázky a úlohy zo všeobecnej chémie

€15.00
Availability: 120 In Stock

Ivan Potočňák a kol.

The textbook represents a study literature on the subject of General chemistry, which is a compulsory subject of bachelor courses in Chemistry and Chemistry -  interdisciplinary study, the first year. This textbook contains 15 + 2 chapters in the whole range of 170 pages that follow the content of lectures and by means of examples and theoretical tasks consolidate and extend knowledge gained from lectures.

Praktické cvičenia z biochémie

Praktické cvičenia z biochémie

E-book

E-book

Erik Sedlák - Rastislav Varhač -  Patrik Danko - Helena Paulíková - Dušan Podhradský

The presented scripts were created in an effort to update and especially clarify the tasks that are solved in the basic practical exercises in biochemistry students of the 2nd and 3rd year of the bachelor's degree in chemistry, biology and their combinations with other disciplines. Most of the tasks come from the original scripts "Podhradský, Mihalovová: Praktické cvičenia z biochémie, Košice 1989".

Some of them have been modified to a greater or lesser extent and adapted to current conditions in the laboratory. New tasks were also added, such as those dedicated to nucleic acids. The scripts are thematically divided into six separate units, each of which consists of several tasks. The names of the units correspond to the nature of the biomacromolecules, which form their central theme. Theoretical introductions at the beginning of the unit are newly constructed and their main goal is to provide a brief overview of the basic biochemical methods used in the study of biomacromolecules.

These scripts are intentionally only available in electronic form. The reason is the effort to continuously update and modernize individual tasks according to the changing possibilities of our laboratory. We hope that the scripts will fulfill their role and that students will have sufficient theoretical knowledge and practical skills in the field of basic biochemical methods after completing these laboratory exercises.

Download e-book for free (pdf)

Zbierka príkladov z atómovej a jadrovej fyziky

Zbierka príkladov z atómovej a jadrovej fyziky

E-book

E-book

Janka Vrláková - Adela Kravčáková - Stanislav Vokál

The presented "Collection of Problems in Atomic and Nuclear Physics" is intended as a basic study material for lectures in General Physics IV in the second year of the bachelor's single-subject physics program and interdisciplinary studies combined with physics at the Faculty of Science of P. J. Šafárik University in Košice.

Its aim is to support independent student work and to deepen the acquired knowledge from the given physics course by solving selected problems. It is divided into three main parts: Atomic Physics, Nuclear Physics, and Experimental Methods of Nuclear Physics.

Each thematic chapter contains an overview of basic concepts, relations, and formulas necessary for better understanding of sample problems and for solving the attached set of unsolved problems.

Download the e-book for free (pdf)

Základné fyzikálne praktikum III.

Základné fyzikálne praktikum III.

E-book

E-book

Janka Vrláková - Stanislav Vokál

Atomic and nuclear physics are relatively young scientific disciplines forming the final part of the general physics course at the Faculty of Physics of the Jagiellonian University. Their aim is to explain the nature of the basic physical properties of atoms, atomic nucleus and elementary particles.

This is also the content of the lectures and exercises ‘General Physics IV’ in the 2nd year of the Bachelor's degree in Physics at the Faculty of Natural Sciences (PF) of the P.J. Šafárik University (UPJŠ) in Košice. They are followed by optional lectures ‘Nuclear Radiation in the Environment’, ‘Introduction to the Physics of the Microworld’ in the 3rd year of the Bachelor's degree of single-discipline study of physics, or teacher study of physics in combination with another subject, and ‘Subnuclear Physics’ in the 1st year of the Master's degree of teacher study of physics in combination with another subject.

In the aforementioned lectures, the latest experimental findings on the structure and behaviour of the microworld are presented by means of physical theories and their subsequent experimental verification in experiments.

Download the e-book for free (pdf)

Náhodné procesy a ich aplikácie

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)

Laboratórny potkan a jeho využitie v experimentálnej biológii

Laboratórny potkan a jeho využitie v...

E-book

E-book

Terézia KiskováStanislav MatéffyFrantiška Horváthová

The laboratory rat (Rattus norvegicus) is one of the most commonly used experimental animals. It serves as a model organism for analyzing numerous biological processes and pathological mechanisms, such as cardiovascular diseases, metabolic disorders (e.g., lipid metabolism, diabetes mellitus), neurological and neuropsychiatric conditions (e.g., stroke, epilepsy, or Alzheimer's disease), neurobehavioral research, autoimmune diseases (e.g., arthritis), cancer, and renal diseases. It offers many unique advantages for modeling human diseases, testing drugs and natural substances, and studying responses to environmental factors. The size of the laboratory rat, compared to the mouse, creates ideal conditions for physiological manipulations. Additionally, rats are used in clinical toxicology to test chemical substances (Hedrich, 2000).

Download the e-book for free (pdf)

FORMATÍVNE 2025. Spoločne pri implementácii formatívneho hodnotenia do škôl

FORMATÍVNE 2025. Spoločne pri implementácii...

E-book

E-publication

Mária Ganajová-Ivana Sotáková-Petra Letošníková

The conference proceedings FORMATIVE 2025 – Implementing Formative Assessment in Schools Together constitute the output of an online conference organised by the Institute of Chemical Sciences, Faculty of Science, Pavol Jozef Šafárik University in Košice, in cooperation with the National Institute of Education and Youth in Bratislava, within the framework of the KEGA project No. 001UPJŠ-4/2023. These proceedings present current knowledge, experience, and examples of good practice in implementing formative assessment in primary, secondary, and university teaching, with an emphasis on the use of digital tools. The papers address the foundations of formative assessment in the context of curricular changes and the ongoing educational reform, as well as specific didactic procedures for its implementation in the teaching of science and social science subjects, including mathematics, Slovak language, and foreign languages. Particular attention is paid to the development of professional teaching competences, formative assessment strategies, providing targeted feedback, and promoting students’ active participation in the assessment process. These proceedings also present the Digilib digital library, a tool developed to support the creation and management of formative assessment processes within the school environment. This publication is intended for experts in pedagogy and didactics, teachers at all levels of education, student teachers, digital coordinators, and all those interested in educational innovation and in improving the quality of teaching through formative assessment.

Download the e-book for free

The 9th International Conference on Novel Materials Fundamentals and Applications 2025

The 9th International Conference on Novel...

E-book

E-publication

Soňa Király

The Book of Abstracts of The 9th International Conference on Novel Materials Fundamentals and Applications, NFA 2025, contains 46 contributions from the participants of this conference. This congress is primarily focused on novel materials, ranging from theory to practical applications, with the aim of demonstrating how fundamental discoveries can lead to innovative implementations. All contributions are inspiring and professionally prepared.

Download the e-book for free (pdf)

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