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:

Základy chiropterológie

€25.00
Availability: 13 In Stock

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.

14.česko-slovenská študentská vedecká...

E-book

E-book

Adriana Zeleňáková - Zuzana Ješková - Adela Kravčáková - Gabriela Fabriciová - Erik Čižmár - Róbert Tarasenko - Jaroslava Szűcsová - Ľuboš Nagy (eds.)

Zborník obsahuje abstrakty príspevkov účastníkov 14. česko - slovenskej študentskej vedeckej konferencie vo fyzike, ktorá sa konala 2.-3.mája 2024 na PF UPJŠ v Košiciach.

Download the e-book for free (pdf)

Matematická analýza 3. Nekonečné číselné a...

E-book

E-book

Božena MihalíkováOndrej HutníkJozef Kiseľák

The textbook is devoted to the mathematical analysis of infinite series of numbers and functions. It is intended for students of mathematics, physics and computer science, as well as interdisciplinary study of combination with mathematics. It contains a theoretical background for investigating the convergence of infinite series, expanding functions into power and Taylor series, as well as the use of these results in various problems of mathematics, physics, and computer science. Using the historical background the textbook clarifies the motivations and the need to introduce some key concepts and their further development. Basic concepts and statements are demonstrated on a large number of solved exercises, but it contains a number of exercises for independent practice. Several results are supplemented by dynamic animations executable in the electronic version of the textbook.

Download the e-book for free (pdf)

Praktikum z molekulového modelingu

E-book

E-book

Ladislav Janovec

An enormous progress in computer technology, closely linked with advances in computational chemistry, has enabled the user to exploit the principles of quantum chemistry to elucidate the chemical phenomena.

Computational chemistry is the branch of science that requires, except an academic knowledge, software skills to fully exploit a potential of theoretical methods. The aim of this textbook is to help the user take the legendary first step in the field of computational chemistry to opening a new horizon of knowledge.

Download the e-book for free (pdf)

Zbierka úloh z fyziky elementárnych častíc

E-book

E-book

Marek Bombara

The collection of exercises summarises and supplements the exercises realised at the Pavol Jozef Šafárik in Košice within the lecture course Elementary Particle Physics. The collection is intended for the master students of the Nuclear and Subnuclear Physics subject, but it could be beneficial also for other physics subjects or even for interdisciplinary study. 

The division of chapters roughly copies the order of lectures. At the beginning, students will briefly familiarize themselves with the basics of special relativity and its practical use in particle physics.

Download the e-book for free (pdf)

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)

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)

NANOVIR – Nanočastice pre riešenie...

E-book

E-book

Adriana Zeleňáková - Jozef Bednarčík

Peer-reviewed Proceedings of the Scientific Conference NANOVIR

The main objective of the scientific conference NANOVIR was the presentation of scientific results obtained during the implementation of the NANOVIR project – Nanoparticles for solving diagnostic and therapeutic problems with COVID-19, co-financed by the European Regional Development Fund within the Operational Programme Integrated Infrastructure 2014 – 2020, ITMS: 313011AUW7.

The project was carried out from January 1, 2021, to June 30, 2023, and was supported with a sum of EUR 1,916,004.79. Three co-investigating organizations participated in the project: Pavol Jozef Šafárik University in Košice as the main investigator, the University of Veterinary Medicine and Pharmacy in Košice as partner no. 1, and the Institute of Experimental Physics of the Slovak Academy of Sciences as partner no. 2.

Download the e-book for free (pdf)

Prípadové štúdie v dolovaní údajov

E-book

E-book

Erik BruothJuraj ŠebejĽubomír Antoni

In these university-level textbooks, we present the fundamental concepts of networks and graph theory. We explore breadth-first and depth-first graph searching. We present static and dynamic network models. We describe the issue of detecting overlapping and non-overlapping communities in directed and undirected networks. Various approaches to anomaly detection in networks also form an important part of this textbook. The final chapter is dedicated to spectral clustering, which plays a significant role in data mining in network graphs for various application domains.

These textbooks are suitable for first and second-year university students in computer science programs. The study materials are also suitable for students in non-computer science fields, with the aim of improving their knowledge and practical experience in computer science-related areas, and provide an opportunity for students to find employment in IT companies to solve practical tasks.

Download e-book for free (pdf)

48th Conference of the Middle European...

E-book

E-book

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

The 48th Conference of the Middle European Cooperation in Statistical Physics (MECO48) will be held on May 22nd-26th, 2023, in Stará Lesná, High Tatras, Slovakia. The MECO48 conference continues a long tradition of regular international meetings in the domain of statistical physics established in the early 1970s with the aim of bridging the gap between the communities of scientists from the Eastern and Western parts of Europe separated by the iron curtain.

In the modern era the MECO conferences attract attention of the community of scientists who are active in the field of statistical physics including various interdisciplinary applications to biology, medicine, geography, finance, quantum information theory, and machine learning.

The MECO48 conference is organized jointly by Faculty of Science of Pavol Jozef Šafárik University in Košice, Institute of Experimental Physics of Slovak Academy of Sciences in Košice, Institute of Physics, Slovak Academy of Sciences in Bratislava and Faculty of Humanities and Natural Sciences, University of Prešov under the financial support of Slovak Research and Development Agency (grant No. APVV-20-0150) and other sponsors.

Download e-book for free (pdf)

Študentská vedecká konferencia PF UPJŠ 2017

E-book

E-book

Katarína CechlárováEva Pitoňáková (eds.)

Proceedings of Abstracts from Contributions by Participants of the Student Scientific Conference at the Faculty of Science, UPJŠ in Košice, Held on April 26, 2017

This is the fifth edition of the proceedings from the Student Scientific Conference (ŠVK) at the Faculty of Science, Pavol Jozef Šafárik University in Košice. We are pleased that ŠVK has become an integral part of faculty life and a showcase for the quality of education provided. In 2017, ŠVK took place as part of the traditional Science Days on April 26, 2017. 105 students from the Faculty of Science presented their work. Contributions were organized into 15 sections, supplemented by an open programming competition involving 17 students and the final round of the IHRA competition, which included 27 teams from across Slovakia.

The abstracts in this proceedings demonstrate that students at the Faculty of Science, UPJŠ, acquire knowledge and skills in their field not only through theoretical study of disciplines but also through active engagement in solving partial scientific problems aligned with research goals at the faculty’s institutes. These abstracts also provide an overview of the faculty’s scientific activity, which we believe will be of interest to the broader public.

doc. RNDr. Gabriel Semanišin, PhD.

Dean of the Faculty

Download the e-book for free (pdf)

Študentská vedecká konferencia PF UPJŠ 2016

E-book

E-book

Vladimír Zeleňák (ed.)

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

A characteristic feature of education at high-quality universities — among which the Faculty of Science at Pavol Jozef Šafárik University (UPJŠ) in Košice proudly belongs — is the close connection between education and scientific research. Students gain knowledge in their field of study not only through theoretical coursework in individual disciplines, but also through active involvement in solving specific scientific tasks as part of research teams. This can occur during the development of final theses or through participation in the Student Research Assistant Program (ŠPVS), which was revitalized at the faculty in 2015.

The Student Scientific Conference (ŠVK) is one of the faculty’s traditional events, organized during the Faculty’s Science Days as part of Sciencefest. By its very nature, it fits seamlessly into the aforementioned framework of combining education with research, and it has long enjoyed great popularity and student interest. In 2016, the conference featured presentations by 125 students of the Faculty of Science at UPJŠ in Košice, across 16 thematic sections. This collection of abstracts provides an overview of the focus and goals of the student projects. We believe it will serve as inspiration for other potential participants of future conferences and will also be of interest to the broader public, offering additional insight into the faculty's activities.

Download the e-book for free (pdf)

POROUS MATERIALS FOR ENVIRONMENTAL APPLICATIONS...

E-book

E-book

Miroslav Almáši (ed.)

The book of abstracts from the conference "Porous Materials for Environmental Applications 2024" is a collection of contributions of the conference participants, which contain original results of their scientific and research activities. The conference was aimed to share new findings dealing with the preparation, characterization and application of porous materials in environmental fields.

Download the e-book for free (pdf)

Chemické výpočty vo všeobecnej a anorganickej...

E-book

E-book

Ivan Potočňák

The script is a study literature for the subject Chemical Calculations, which is a mandatory course in the bachelor's degree programs in Chemistry and Chemistry – Interdisciplinary Studies, first year. The script contains 10 chapters with a total of 207 pages, guiding students through solved and unsolved examples to help them understand the subject matter.

Author

Download the e-book for free (pdf)

Vybrané kapitoly z koloidnej chémie

E-book

E-book

Daniela Kladeková

Working with this study text requires adequate knowledge of physical chemistry, physics, and biology, as navigating the presented material becomes challenging without this foundation. A solid grasp of mathematics is essential and aids in understanding colloidal chemistry problems. The textbook, structured into individual chapters, first addresses optical and molecular-kinetic properties after classifying and characterizing disperse systems.

This university-level textbook is primarily intended for students in chemical and ecological disciplines at the Faculty of Science, Pavol Jozef Šafárik University in Košice. It does not aim to exhaustively cover every detail of the subject, as comprehensive treatments are already available in specialized monographs on colloid and macromolecular chemistry, as well as in foundational physical chemistry textbooks.

Download the e-book for free (pdf)

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