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:

Bádateľsky orientované vyučovanie matematiky a...

E-book

E-book

Stanislav Lukáč - Ľubomír Šnajder - Ján Guniš - Zuzana Ješková

The publication is intended for researchers in didactics and teachers of mathematics and computer science. Our aim is to provide readers with a basic orientation in the issue of inquiry-based teaching, to explain and demonstrate several levels of student inquiry through examples, and to offer a classification of inquiry skills.

The core part of the publication consists of methodologies for inquiry-based teaching of specific topics from school mathematics and computer science. We present ideas for implementing inquiry activities, active work with information in solving various types of problems, and the application of modern digital technologies in exploring and discovering patterns.

The publication includes seven methodologies for teaching mathematics and eight methodologies for teaching computer science in the 1st and 2nd years of secondary school.

Download the e-book for free (pdf)

Prílohy

Workshop on Quantum Magnetism: Theoretical...

E-book

E-book

Jozef StrečkaHana ČenčarikováAndrej Gendiar (eds.)

The proceeding involves programme and abstracts of Workshop on Quantum Magnetism: Theoretical Challenges and Future Perspectives, which was held on June 7th – June 8th, 2019, in Košice, Slovakia.

The workshop is organized by Faculty of Science of Pavol Jozef Šafárik University in Košice and Institute of Experimental Physics of Slovak Academy of Sciences in Košice under the financial support of Slovak Research and Development Agency.

The main conference topics are devoted to state-of-the-art problems of Quantum Theory of Magnetism inncluding molecular magnetism, highly frustrated magnetism, magnetic phase transitions, quantum spin liquids, strongly correlated systems, exotic quantum states, flat-band systems and quantum entanglement.

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)

Doménové steny a ich dynamika

E-book

E-book

Rastislav Varga

The movement of domain walls in ferromagnetic materials is utilized in various magnetic devices for storing, processing, or transmitting signals and information. This mainly includes transformer cores, various sensors, memory devices (e.g., HDDs in PCs), as well as modern spintronic devices such as Racetrack memories, domain wall motion-based electronics, and so on.

This book is intended to serve as a textbook for advanced courses in the field of magnetic materials. It is primarily aimed at students interested in studying magnetic materials, as well as professionals from various fields who wish to understand the basics of domain structure and its changes. It is divided into nine chapters. The first chapter deals with a brief history of the study of domain structure in magnetic materials. The second chapter provides an introduction to the causes and manifestations of magnetic anisotropies. The third and fourth chapters are devoted to the causes of domain structure formation and domain walls. The fifth chapter discusses the structure of domain walls, their potential, and the critical field required for domain wall movement. The sixth chapter is dedicated to magnetization processes, one of which - domain wall movement - is discussed in detail in chapter 7. The eighth chapter contains a theoretical solution for domain wall movement. The final ninth chapter presents a modern method of domain wall movement induced by electric current.

The presented work assumes that the reader has at least basic knowledge in the field of magnetism. Otherwise, the author refers the reader to basic literature (e.g., [2.1 - 2.6]).

Download the e-book for free (pdf)

Skenovacia tunelová mikroskopia

E-book

E-book

Tomáš Samuely

Today, scanning probe microscopes are standard tools in materials science, physics, chemistry, biology, and engineering. Thousands of these microscopes are in operation worldwide and are at least as common and popular as scanning electron microscopes.

Despite the vast number of newer scanning probe microscopy techniques, classical STM remains a significant and irreplaceable method, widely used, for example, in solid-state research. In this text, we will focus on both traditional and innovative STM techniques that are available and utilized in the laboratories of the Center for Low Temperature Physics in Košice.

Download e-book for free (pdf)

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)

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)

Pravdepodobnosť v príkladoch
  • On sale!
  • -€9.39

Pravdepodobnosť v príkladoch

€9.90 €0.51 -€9.39
Availability: 88 In Stock

Valéria Skřivánková 

Predložený učebný text sa pokúša ilustrovať možné aplikácie Teórie pravdepodobnosti na príkladoch z oblastí (vo fyzike, chémii,  biológii, ekonomike, finančníctve, atď.), ktoré sú spestrené o úlohy na hľadanie optimálnej stratégie.

Text je určený predovšetkým poslucháčom Prírodovedeckej fakulty UPJŠ, budúcim učiteľom matematiky, študentom odboru matematika a informatika prípadne iným záujemcom, ktorí budú aplikovať pravdepodobnostné metódy pri riešení reálnych problémov. Obsahom pokrýva prvú časť predmetu "Pravdepodobnosť a štatistika".

Autorka

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)

Stresová fyziológia rastlín - Návody na cvičenia

E-book

E-book

Jozef Kováčik

These "Exercise Manuals" present a concise overview of commonly used methodologies as well as progressive techniques, such as the use of liquid chromatography and fluorescence microscopy. Individual tasks were selected based on the research focus of the Department of Botany at the Faculty of Science, Pavol Jozef Šafárik University in Košice, particularly in the context of "stress physiology."

Some tasks can also be utilized within the subject "Plant Ecology." Chamomile (Matricaria chamomilla) is typically used as a model plant for individual tasks due to its long-standing history of research at the Department of Botany and its ease of cultivation under laboratory conditions. The chapters also briefly discuss the significance of monitored parameters, principles of their determination, and metabolism (formation or degradation), aiming to indicate their mutual context.

This approach highlights that determining an individual parameter cannot provide a general explanation for the overall causes and impacts of observed changes; however, it can serve as a basis for testing hypotheses at the level of other parameters.

For deeper study of specific issues, there is an abundance of high-quality international monographs and review articles available.

Download the e-book for free (pdf)

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)

EFFUSE príručka pre žiakov: Základy...

E-book

E-publication

Beáta Valkay ed.
Ivana Slepáková-Lenka Maliničová a kol.

EFFUSE - A Guide for Students is an interactive educational resource for primary and secondary school students to help them better understand how their daily activities affect the environment. The handbook was developed within the EFFUSE project (‘Environment for the future by science education’) and motivates young people to take a greater interest in the nature around them. It focuses on practical field activities during which they will explore the ecosystem of the Laborec and Uh rivers, observe and document organisms and work with real samples from nature. At the same time, they will learn about the work of scientists - botanists, zoologists and microbiologists - and learn basic biomonitoring methods. The manual will also guide them through the process of creating a virtual laboratory to display the results of their investigations of an aquatic ecosystem. It will help them understand the importance of sustainable development and encourage them to behave responsibly towards nature. It is their opportunity to learn about their surroundings in a new way, to learn to think scientifically and to become active creators of positive change for their community and future generations.

Download the e-book for free(pdf)

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)

Globálne navigačné satelitné systémy

E-book

E-book

Vladimír Sedlák

In the presented university textbooks, so-called satellite-based augmentation systems (SBAS, from the English Satellite Based Augmentation Systems, in Slovak Systémy rozširujúce základné satelitné systémy) are also discussed. These systems enhance, expand, or refine the basic satellite navigation systems. They are supportive satellite systems for GNSS (Global Navigation Satellite Systems). Currently, the long-operational American GPS and Russian GLONASS systems, as well as the partially operational European Galileo system (since December 2016), have and will continue to have broad applications in various fields of human activity, both professional and personal.

The university textbook Globálne navigačné satelitné systémy (Global Navigation Satellite Systems) reflects the current progressive development in the technological and instrumental principles and components of such satellite navigation systems. It presents the state of these satellite technologies from their historical origins and development to the present. The rapid advancements, particularly in the instrumental base of satellite navigation systems, will require updates on their current state in future editions of these university textbooks.

Download the e-book for free (pdf)

Digitálna forenzná analýza I.

E-book

E-book

Pavol Sokol - Ladislav Bačo - Tomáš Bajtoš

In the university textbook, we present the theoretical foundations and technical details of the activities of a forensic investigator. We describe the identification and provision of digital tracks, file system analysis. analysis of various artifacts of the Windows operating system, analysis of the operating memory. The textbook is also supplemented by a chapter devoted to the analysis of malicious code (malware). University textbooks are intended for students of bachelor's, master's, engineering and doctoral study programs in computer science, but also in non-informatics fields.

Download the e-book for free  (pdf)

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