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:

Digiform - podporná aplikácia k Digilib

Digiform - podporná aplikácia k Digilib

E-book

E-publication

Denisa Maceková-Monika Václavková-Marek Kvet-Ivana Sotáková

The publication Digiform: A Supporting Application to Digilib – User Guide, Part B presents the Digiform web application as a tool that extends the functionality of the Digilib digital library of formative assessment tools. The application enables the creation and editing of formative assessment tool templates, which can be adapted to the specificities of individual subjects and levels of education and subsequently imported into the Digilib environment for use in the teaching process. The guide provides a detailed description of how to work with the Digiform application, from creating new templates, editing and personalising them, through to their export and implementation in the main Digilib application. Attention is also given to the interconnection with the Digilib Images application, which enables the integration of visual elements into the assessment tools, thereby enhancing their didactic effectiveness and visual appeal. The guide is intended for teachers at all levels of education, student teachers, school administrators, and digital coordinators who are interested in the systematic use of the Digilib digital library to support the implementation of formative assessment, enhance the quality of the educational process, and foster the development of students’ self-assessment and reflective competences.

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)

Magnetic Cooling and Frustrated Magnetism. Book of Abstracts

Magnetic Cooling and Frustrated Magnetism. Book...

E-book

E-publication

Jozef Strečka-Katarína Karľová

The proceedings include the programme and abstracts of the workshop Magnetic Cooling and Frustrated Magnetism, held in Košice on October 27–29, 2025. The event is organized with the support of the French National Research Agency (ANR), the Faculty of Science of Pavol Jozef Šafárik University in Košice, and the Slovak Research and Development Agency. The workshop focuses on current challenges in quantum physics, particularly frustrated magnetism and magnetic cooling. Participants will present original research results that may significantly contribute to the development of future quantum technologies.

Download the e-book for free (pdf)

Linear programming via problem solving

Linear programming via problem solving

E-book

E-book

Katarína Cechlárová

Linear programming belongs to parts of mathematics with the greatest number of real applications. This Slovak-English problem collection provides an overview of basic knowledge in the area, application problems as well as problems to acquire routine in calculations. It is complemented by questions motivating the student to look for further theoretical principles, construct conterexamples  and formulate arguments to explain the studied phenomena.

Download the e-book for free (pdf)

Aproximačné a pravdepodobnostné algoritmy

Aproximačné a pravdepodobnostné algoritmy

E-book

E-book

Ondrej KrídloGabriel Semanišin

For computer scientists, the constant challenge is to seek efficient algorithms and various technical and implementation possibilities to improve the computational complexity of currently known algorithms. Partial solutions are offered by approaches such as grid-based methods and parallelization of computation. Quantum computers represent a significant but still unfulfilled promise. From a theoretical perspective, probabilistic and approximation approaches provide very effective solutions, and these are the methods we aim to explore in detail.

These electronic university textbooks serve as supplementary materials for the course Approximation and Probabilistic Algorithms. They were developed from the authors' materials and contributions by Prof. RNDr. Viliam Geffert, DrSc., whom the authors thank for providing the manuscript. Acknowledgments also extend to RNDr. Ján Katrenič, PhD., who prepared the first set of exercises for the course, and Žaneta Semanišinová, who reviewed large portions of the text and contributed suggestions for its improvement.

Download the e-book for free (pdf)

Cognitive neuroscience of auditory and cross-modal perception - Lectures and assignments

Cognitive neuroscience of auditory and...

E-book

Norbert Kopčo - Frederick Gallun - Beáta Tomoriová - Ľuboš Hládek(eds.)

Cognitive neuroscience is a fast developing scientific field which aims at uncovering the neural basis of human perception and cognition. To achieve this goal, cognitive neuroscience uses a variety of tools and approaches ranging from non-invasive brain imaging to psychophysics and neural modeling. Mastering such tools requires skills and knowledge from multiple scientific domains, including neurophysiology, cognitive psychology, and several computational fields.

Access on request via email: kogneuro (@) gmail.com

http://pcl.upjs.sk/workshopcd 

https://sites.google.com/site/kogneuro/

Cell Biophysics II

Cell Biophysics II

E-book

E-book

Katarína Štrofeková

Cell Biophysics II is the one semester comprehensive course textbook for PhD students. It encompasses basic principles and mechanisms underlying cell physiology and biophysics with aims:

• General knowledge of the principles of cellular function, including membrane, cytoplasmic and nuclear roles in normal and abnormal conditions.
• In-depth understanding of the mechanisms underlying the cell functions at the molecular and subcellular level.
• Awareness of cell pathologies that lead to specific disease symptoms and phenotypes.
• The ability to apply learned principles to solve new problems (analysis & synthesis).

Download the e-book for free (pdf)

Úvod do termodynamiky

Úvod do termodynamiky

E-book

E-book

Michal Jaščur - Michal Hnatič

This textbook covers the fundamentals of phenomenological thermodynamics to the extent typically taught in standard theoretical physics courses at the undergraduate level in the Physics degree program. A slightly reduced scope is also taught in all interdisciplinary study programs combined with physics. In recent years, the time allocation for individual courses has been slightly reduced, which is reflected in our selection and coverage of topics.

Our primary aim was to provide a sufficiently solid explanation of the key concepts and laws of thermodynamics necessary for mastering further theoretical physics courses at the master's level (e.g., Statistical Physics, Condensed Matter Physics, Quantum Theory of Solids, Quantum Theory of Magnetism, etc.). The book also presents the essential minimum knowledge required for the study of further applications of thermodynamics in biophysics, biology, chemistry, and engineering disciplines.

Understanding individual sections, as well as the text as a whole, requires a grasp of the basic concepts of thermodynamics at the level of a General Physics course and knowledge equivalent to a standard university mathematics course. Each topic is treated with the utmost emphasis on conceptual clarity and mathematical rigor.

Download the e-book for free (pdf)

School of XFEL and Synchrotron Radiation Users – SFEL 2022

School of XFEL and Synchrotron Radiation Users...

E-book

E-book

Jozef Bednarčík (ed.)

The SFEL school is continuation of the Winter Schools of Synchrotron radiation held in 2011, 2013, 2014 and SFEL 2017, 2018 and 2019. All schools of the series were held here, in Liptovský Ján, where our conference venue offers conditions for friendly and creative atmosphere.

The aim of the SFEL 2022 school is to facilitate the growth of a new Slovak research community with high expertise in the area of high-efficiency RTG laser, synchrotron and neutron sources. The SFEL school is designed for efficient transfer of the rapidly developing know-howin these areas to young generation – researchers and university students. The next aim of the SFEL2022 is strengthening of personal connections between the local Slovak research community and actually forming scientific teams of XFEL users, scientific teams of synchrotron or neutron sources users, respectively.

Slovak research community thus can take advantage of the fact that Slovakia is a shareholder of the European XFEL GmbH company in Hamburg, but also makes more efficient use of other closely related scientific facilities, including ILL and ESRF in Grenoble and DESY in Hamburg.

Download the e-book for free (pdf)

Základy prietokovej cytometrie v rastlinnej biológii. Praktická analýza obsahu DNA v bunkovom jadre.

Základy prietokovej cytometrie v rastlinnej...

E-book

E-book

Vladislav Kolarčik

Flow cytometry is a diagnostic and research technique that enables rapid analysis of cells, nuclei and organelles of plants and other organisms. In plant biology, it is most often used for DNA content analysis in a wide range of applications. It is the method of first choice and its importance is even increasing compared to competing technologies. It is unrivaled in speed, accuracy, repeatability and low cost. Flow cytometry has become a standard tool in laboratories focused on biological-ecological plant research.

This textbook provides information on the historical development of flow cytometry and its establishment in the analysis of the plant genome. It describes the procedure of sample analysis to determine the nuclear DNA content and presents the basic applications, such as determination of genome size, ploidy level and reproduction modes of plants and determination of endopolyploidy level in plant tissues. These college textbooks are intended for students, teachers and anyone interested in the use of flow cytometry in scientific work with plant cells.

Download e-book for free (pdf)

New Trends in Chemistry, Research and Education 2020

New Trends in Chemistry, Research and Education...

E-book

E-book

Zuzana Orságová Králová (ed.)

The scientific book of abstracts is a summary of the contributions of teachers, scientists and other conference participants, which contain the original results of their scientific and research activities. Their work will be the subject of the next domestic conference „New Trends in Chemistry, Research and Education at Faculty of Science of P. J. Šafárik University in Košice 2020“. The conference is a space for dialogue between scientific academics on the one hand and professional staff and students on the other.

The contributions published in this volume can be divided according to content into the field of analytical, inorganic, physical, organic chemistry, biochemistry and didactics of chemistry. All contributions are interesting and can be used in further creative scientific and research work, in the process of education and in practical work.

Download the e-book for free  (pdf)

copy of Základy chiropterológie

copy of Základy chiropterológie

€10.00
Availability: 999 In Stock

E-book

Marcel Uhrin - Petr Benda -  Peter Kaňuch

Bats represent a unique group of mammals, characterised by different life strategies. They are the only mammals capable of active flight, which, combined with their almost exclusively nocturnal activity, has led to the evolution of specific adaptations. One of the most striking is echolocation, which enables them to orientate themselves perfectly in their surroundings in the dark. Bats are mainly native to the tropics, but have also colonised areas outside the tropics, which, has led to a complex phenological cycle with active phases and interruptions during hibernation, especially in temperate zones. In this diverse and species-rich group (almost 1,500 known species), there is a wide range of social organisation as well as feeding and roosting strategies. The textbook "Fundamentals of Chiropterology" brings the current state of knowledge about these extraordinary animals in eleven chapters and two appendices for the first time in the Slovak language.

Matematická analýza 1

Matematická analýza 1

E-book

E-book

Božena Mihalíková - Ján Ohriska

This text is intended for first-year students in 76-12-8 ‘General Education Teaching’ in combinations with mathematics. It is based on the authors' lectures and their more than ten years of experience in teaching this subject at the Faculty of Education of the University of Applied Sciences. When writing it, the authors tried to take into account the specificity of mathematics teaching studies.

The present teaching text was not written due to the lack of textbooks on mathematical analysis. The reason for writing it was the authors' findings that the students do not have sufficient experience in working with specialized literature from secondary school, the difficulties for many of them (especially in the first semesters) are caused by even a slightly different interpretation, not rarely also by a change in labeling, which makes them miss the essence of the studied problem. The authors of the text did not set out to be original. Their aim was to make such a selection of topics as is necessary for a future teacher of mathematics and to choose such a method of interpretation which, in their opinion, is suitable for first-year students.

A good mastery of the curriculum (expansion of the mathematical apparatus and the related possibilities of applying other methods of proof as well as the acquisition of the necessary numerical skills) presupposes the use of other literary sources (textbooks, collections of problems) according to the teacher's recommendation.

Download the e-book for free (pdf)

Študentská vedecká konferencia PF UPJŠ 2019

Študentská vedecká konferencia PF UPJŠ 2019

E-book

E-book

Katarína Cechlárová (ed.)

This year, the Student Scientific Conference was held on April 24, 2019, across 17 sections in disciplines such as biology and ecology, chemistry, physics, geography, mathematics, informatics, and their didactics. Bachelor’s and master’s students presented a total of 124 contributions. The most successful participants advanced to national or traditional Czech-Slovak student scientific showcases in fields like physics, chemistry, mathematics, informatics, and mathematics didactics.

In addition to faculty students, 10 high school students participated outside the competition. They were invited based on their achievements in subject-specific Olympiads or because they were already engaged with the faculty under the guidance of dedicated teachers in laboratory work as part of their preparation for future studies. The day also featured a programming competition with 23 participants, an IHRA contest involving 16 teams of high school students and 15 teams from elementary schools, and a new Puzzle section where 72 high school students from the region competed.

The abstracts from the Student Scientific Conference demonstrate that our faculty's students not only absorb theoretical knowledge delivered in lectures but also actively engage in solving partial scientific problems that align with research objectives at the institutes of PF UPJŠ. This collection serves as both a record of scientific activity at the faculty and a dignified presentation for the broader public.

Prof. RNDr. Katarína Cechlárová, DrSc.

Vice-Dean for Education

Doc. RNDr. Gabriel Semanišin, PhD.

Dean of the Faculty

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)

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)

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