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:

O jaskyniach a krase pre každého – vybrané kapitoly

O jaskyniach a krase pre každého – vybrané...

E-book

E-book

Alena Gessert

Caves have always been very specific places throughout history. In some cultures, they served as sites for sacrifices or remembrance, while in others, they were seen as places where one could cross to the "other side of life." People used caves for shelter, as places to leave messages, to wait out bad weather, and in some cases, even lived in them. During wars in our region, entire families or villages would hide from enemies in caves, or they would use them to conceal weapons.

Today, in most countries, caves are destinations for tourists who want to experience something new and unknown: darkness, high humidity, and the fascinating beauty of underground formations. They are also sought after by cavers who long to explore caves, enter worlds where no human has set foot before, find evidence of previous habitation, or conduct research that continually advances our knowledge.

In the publication you are holding, we present both traditional and less conventional topics about the formation of karst and caves, selected ecological aspects, maps and their creation, significant caves of the world, and the life of people in such areas. We also offer an overview of important karst locations that are definitely worth learning more about or visiting in person. This publication is intended for readers among pupils, students, teachers, and the general public, and we believe it will draw you into this mysterious world.

Download e-book for free (pdf)

Návody na cvičenia z fyziológie rastlín

Návody na cvičenia z fyziológie rastlín

E-book

E-book

Miroslav Repčák - Martin Bačkor - Peter Paľove-Balang - Silvia Gajdošová

The establishment of the Plant Physiology Laboratory at the Department of Botany, Faculty of Arts, Pavol Jozef Šafárik University in Košice in 1969 was associated with the name of Ing. Štefan Kocúrik, CSc. (1923–2006), who also prepared the first "Instructions for Exercises in Plant Physiology" (Košice 1972, 1976).

Since 1980, the manual by Associate Professor RNDr. Karol Erdelský, CSc., and Ing. Fridrich Frič, DrSc., titled "Practicum and Analytical Methods in Plant Physiology" (Bratislava 1980) has been used. With the increase in the number of students, it became relevant in 1991 to publish the "Instructions for Exercises in Plant Physiology" again to improve preparation and the efficient organization of practical work. Associate Professor RNDr. A. Košturiak, CSc., contributed significantly to the expansion of the introductory part of the instructions with his valuable advice, for which the authors are grateful. For the fourth edition, some tasks were updated and modernized, taking into account the possibilities of the renovated laboratory. The selection of tasks was adapted to the current scope of exercises for individual plant physiology subjects within the bachelor's and master's study programs in biology and ecology. These subjects include: Plant Physiology, Plant Metabolism, Mineral Nutrition of Plants, Plant Growth and Development, and Plant Ecology. Some tasks are also suitable for high school experiments.

The choice of topics was influenced by the research focus of our workplace on secondary metabolism, ecophysiology, and medicinal plants. The instructions generally adhere to the SI unit system, occasionally including other commonly used units.

Download the e-book for free (pdf)

The 4th International Conference on Nanomaterials: Fundamentals and Applications

The 4th International Conference on...

E-book

E-book

Jana ShepaIvana Šišoláková (eds.)

Abstracts of the 4th International Conference Nanomaterials: Fundamentals and Applications (NFA) 2020 is the contributions summary of the conference participants. The conference will feature three invited lectures and eight 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)

Praktikum z nukleárnej magnetickej rezonancie. Časť 2: Kvantitatívna analýza a fyzikálno-chemické štúdie

Praktikum z nukleárnej magnetickej rezonancie....

E-book

E-publication
Mária Vilková-Zuzana Kudličková-Ján Elečko
This study material is intended for students of chemistry and related disciplines interested in applied nuclear magnetic resonance (NMR) and physical chemistry. It offers practice-oriented tasks designed to develop skills in NMR spectroscopy, quantitative analysis, and data interpretation. Students learn modern approaches to determining physicochemical parameters (e.g., partition coefficients, pKa values, keto–enol equilibria, or enantiomeric excess) and gain experience with software tools for spectrum processing.
Download the e-book for free (pdf)

Polovodičové prvky

Polovodičové prvky

E-book

E-book

Peter Kollár

The textbook Semiconductor Elements was developed gradually over the past years as an aid for second-year master's students in condensed matter physics. It is intended to support students’ understanding of lectures, considering that important texts, mathematical relationships, and illustrations are provided in advance in the form they will be presented during the lecture.

This allows students to supplement individual pages with their own notes during the lecture, either electronically or in printed form. In this way, a study aid is created for the student, which I believe will help with the final review of knowledge gained throughout the semester in preparation for the exam. This textbook is not meant to serve as standalone literature but is designed to assist orientation in the literature, which is abundant in English but mostly written for scientists, researchers, and students for whom this topic is central and not just one of many parts of their education. Therefore, it is not allocated a larger scope in the study program.

Download e-book for free (pdf)

Bioenergetika

Bioenergetika

E-book

E-book

Daniel JancuraErik Sedlák

The textbook "Bioenergetics" should serve as an introduction to the study of bioenergetics. This field of science is currently highly actual, as the results of the bioenergetics research in recent years clearly show that bioenergetics processes in living systems can "serve" not only to transformation of energy, but also affect the course of processes such as apoptosis, aging, origin and development of many diseases (especially neurodegenerative).

These facts clearly indicate the need for the existence of quality teaching texts that would allow students to acquire the necessary information and knowledge in this scientific discipline in an acceptable way. For the above mentioned reasons, we decided to create these textbooks, which are in the form of ten chapters, which naturally and logically follow each other. 

Download the e-book for free  (pdf)

Globálne navigačné satelitné systémy: GPS, GLONAS, Galileo, Compass

Globálne navigačné satelitné systémy: GPS,...

E-book

E-book

Vladimír Sedlák

The university textbooks entitled Global Navigation Satellite Systems: GPS, GLONAS, Galileo, Compass present four navigation systems of the GNSS (Global Navigation Satellite Systems): American NAVSTAR GPS, Russian GLONASS, European Galileo and Chinese Compass. The Satellite-Based Augmentation Systems (SBAS) are also briefly explained. They provide regional service in augmenting the reach and support of signals from satellites of the GNSS (GPS, GLONASS, Galileo, Compass). Each satellite navigation system in the frame of GNSS is elucidated in terms of its principles of operation, structure, specificities, applications, and future perspectives.

The university textbook aims to improve the reader’s understanding of the principles and activities of the presented GNSS. The book emphasizes the possibilities of GNSS applications in geodesy and geography. The university textbook constitutes the basic study literature for the class Global Navigation Satellite Systems within the study program Geography and Geoinformatics at the Faculty of Science of the Pavol Jozef Šafárik University in Košice. For a deeper study of the GNSS issue, it is necessary to extend the study materials to include other educational scientific literature dealing with navigation satellite systems and their applications.

Download the e-book for free  (pdf)

Programovanie v Pythone 1

Programovanie v Pythone 1

E-book

E-book

Ján GunišĽubomír Šnajder

Prílohy

College scripts Programming in Python 1 are intended for future teachers of computer science. The content of the course is related to the teaching of programming in Scratch and is an introduction to text-based programming in Python.

Programming is introduced as a means of developing problem-solving skills. The first chapter is devoted to problem solving. The next 12 chapters sequentially introduce basic language constructions, data structures, and selected types of algorithms. Each of these chapters begins with an introduction to the problem. This section is primarily intended for self-study, to prepare students for the exercises. The following subchapter summarizes and completes the knowledge, and additional insights and approaches related to the chapter topic are presented. The chapters include a collection of exercises designed to practice and deepen knowledge and skills on the topic.

The final part of the chapter presents the solved problems. This section serves as a guide to solving the problems in the collection.

i

Download the e-book for free (pdf)

Laboratórna technika a výpočty

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)

NOVEL TRENDS IN CHEMISTRY, RESEARCH AND EDUCATION at the Faculty of Science of Pavol Jozef Šafárik University in Košice 2023

NOVEL TRENDS IN CHEMISTRY, RESEARCH AND...

E-book

E-book

Miroslav Almáši

The scientific book of abstracts from the conference „Novel Trends in Chemistry, Research and Education 2023“ is a summary of the contributions of conference participants, which contain the original results of their scientific and research activities.

The contributions published in this volume can be divided according to content into the fields of analytical, inorganic, organic, physical chemistry, biochemistry, didactics of chemistry, and NMR spectroscopy.

Download e-book for free (pdf)

EFFUSE – River Landscape, Volume 2: Guidelines for Experts

EFFUSE – River Landscape, Volume 2: Guidelines...

E-book

E-publication

Beáta Valkay ed.
Ivana Slepáková-Andrej Mock a kol.

The publication EFFUSE – River Landscape, Volume 2: Guidelines for Experts, developed within the EFFUSE project, is intended for professionals in the field of environmental sciences. It provides recommendations for research in river landscapes and highlights their importance for understanding ecological processes. The text presents bioindicators as a key tool for assessing landscape health and biodiversity conservation. A dedicated section explains why studying river landscapes as natural laboratories is essential. The publication also includes a practical manual for the Olympus DSX-1000 High End Model microscope, expanding opportunities in scientific education and research. In this way, it combines theoretical guidelines with modern technologies that enhance environmental knowledge.

Download the e-book for free (pdf)

Biology of cryptogams (Practical lessons)

Biology of cryptogams (Practical lessons)

E-book

E-publication

Michal Goga-Marko S. Sabovljević-Martin Bačkor-Dajana Kecsey-Deepti Routray

A comprehensive guide that introduces you to the fascinating diversity and systematics of lower plants. These practical lessons are designed to provide hands-on training, allowing students to engage directly with the interesting study of Cryptogams by observation, analysis, and identification and experimentation. Beginning with the overall idea of cryptogam in a field trip near by the vicinity of Botanical garden then followed by the basics of microscopy in, will help to gain essential skills in understanding the components and proper usage of a microscope, a fundamental tool in botanical studies.

Download the e-book for free (pdf)

Cvičenia z biochémie mikroorganizmov

Cvičenia z biochémie mikroorganizmov

E-book

E-book

Mária Kožurková

These university textbooks are intended for first-year master's degree students at the Faculty of Natural Sciences of UPJŠ in Košice. The scope and content of the works included in these scripts are primarily based on time and spatial constraints, taking into account the material demands of the tasks.

The aim of these scripts is to teach students basic microbiological techniques and to show them the importance of microorganisms in everyday life and their crucial role in nature. The exercises are designed to enhance students' technical skills and teach them to work according to safety principles.

The text is divided into 13 parts. Each part begins with an introduction to the theory related to the practice topic. The appendix includes a proposal for the preparation of protocols for individual exercises.

Download the e-book for free (pdf)

Úvod do porovnávacej morfológie živočíchov

Úvod do porovnávacej morfológie živočíchov

E-book

E-book

Andrej Mock

The structure of the animal body is extremely varied. Each species has its distinctive morphological features, which bears as a testimony to long-term development and belonging to the developmental lineage. At the same time, the body has been tested for a long time by natural conditions, resulting in unique adaptations to the environment and life strategy. Despite this admirable variety - which includes both recent and fossil animals and which we have far from mapped – a comparison of body parts brings knowledge we can generalize: the main building principles, and boundaries within which phenotypic diversity is realized.

Comparative animal morphology today uses the latest methodological material and knowledge from other disciplines, from genetics, molecular biology and experimental embryology, through progressive imaging methods (e.g. electron microscopy, computer micro-tomography) and the possibilities of subsequent software processing of image material (measurement, staining, etc.) to the view of physics, chemistry, statics and geometry on the structures (to nanostructures) of the living body. Detailed knowledge of historical and contemporary conditions on Earth is an important interpretative context in the study of animal morphology. Surprisingly, the knowledge accumulated after centuries of research is now rapidly supplemented by new knowledge, and often the traditional knowledge is subsequently reinterpreted. Finally, and no less important, in studying animal (and human) morphology, we learn surprising knowledge about ourselves.

The author of the presented textbook had the ambition in a simplified form to introduce the reader, especially the student of biological studies, into a dynamic and fascinating scientific discipline, as the current comparative animal morphology is.

Stiahnite si e-knihu zadarmo (pdf)

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