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:

EFFUSE – River Landscape, Volume 1: Scientific Education for Everybody

EFFUSE – River Landscape, Volume 1: Scientific...

E-book

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

The textbook EFFUSE – River Landscape, Volume 1: Scientific Education for Everybody, developed within the EFFUSE project, explores the importance of water for living organisms and the specific features of water in the Transcarpathian region. It addresses the issue of water pollution and presents bioindication as an effective method of environmental research. The publication explains how the ecological status of rivers and water quality can be assessed using aquatic plants, insects, fish, and amphibians. It also raises awareness about the microbial composition of water and offers guidance on protecting oneself from waterborne infections. Finally, it highlights the significance of environmental education and awareness in strengthening the relationship between humans and the natural environment.

Download the e-book for free (pdf)

Geopriestorové technológie v bádateľsky orientovanom vyučovaní geografie

Geopriestorové technológie v bádateľsky...

E-book

E-book

Stela Csachová - Ján Kaňuk - Alena GessertLadislav NovotnýŠtefan GáborJozef Šupinský

This book addressed the inquiry-based learning and teaching with the support of geospatial technologies. Today, geospatial technologies are influencing geography teaching learning, particularly in secondary education. Theoretical framework gives the reader the insight to inquiry-based learning, with special focus on inquiry in geography. The one-by-one step of inquiry is analysed in detail. The major part of the book presents the eleven models of geography lessons, representing the subject content of physical, human and regional geographies, various levels of inquiry and use of different geospatial technologies. The readers are acquainted with the use of geographic information system (particularly Google Earth and ArcGIS online), web portals, webGIS, open data, mobile applications and new forms of 3D cartographic visualisation (virtual reality, 3D print, dynamic 3D map) in teaching geography. The lesson models were tested with the students to be geography teachers in school year 2021/2022. This books serves as resource mainly for undergraduate teacher students and in-service geography teachers.

Download e-book for free (pdf)

Matematika pre nematematické odbory
  • On sale!
  • -€7.96

Matematika pre nematematické odbory

€8.53 €0.57 -€7.96
Availability: 135 In Stock

Danica StudenovskáTomáš Madaras 

Táto publikácia je určená pre študentov nematematických odborov na Prírodovedeckej fakulte UPJŠ v Košiciach. Jej obsahom je látka preberaná v prvom semestri v rámci predmetu Matematika I..

Publikácia nadväzuje na učivo stredných škôl a nevyžaduje žiadne predbežné špeciálne znalosti. Môže slúžiť ako základ na ďalšie samostatné štúdium a môže byť užitočná aj pre iných záujemcov o matematiku a jej aplikácie.

Vyriešené príklady v jednotlivých kapitolách majú pomôcť čitateľovi pri zvládnutí štúdia. Tomu napomáhajú aj ilustratívne obrázky.

Autori

Kvantová teória poľa 1

Kvantová teória poľa 1

E-book

E-book

Michal Hnatič - Tomáš Lučivjanský

This textbook is primarily intended for first-year master's degree students at Pavol Jozef Šafárik University in Košice, especially those in the nuclear physics, subnuclear physics, and theoretical physics programs. For many years, these lectures were taught by one of the authors at this university, and naturally, over time, there arose an effort to provide these lectures to students in printed form.

In this textbook, we will focus mainly on classical field theory, its quantization based on the operator approach, and the introduction of interactions. Descriptions based on functional integration, Feynman diagram techniques, and more advanced parts will be covered in a subsequent volume of the textbook. In this context, we want to emphasize that in many modern quantum field theory textbooks, the operator approach is used to a lesser extent and is replaced by the approach using (functional) path integrals.

This is probably due to time considerations, as the functional approach leads much faster to practical calculations. On the other hand, we believe that the operator approach is better from a pedagogical point of view. It is much closer to the traditional quantum mechanics course, which is often based on the Schrödinger or Heisenberg formalism. Therefore, students can much more easily follow the flow of ideas that led to the construction of quantum field theory and its fundamental concepts.

Download e-book for free (pdf)

Základy znalostných systémov

Základy znalostných systémov

E-book

E-book

Ondrej Krídlo

University textbooks present the basics of knowledge systems, which are divided into two parts. The first part of the publication is devoted to the basis of Formal Concept Analysis, ie the method of data analysis, knowledge representation and information processing, which is based on the formalization of the concept. In the second part we deal with the basics of logic programming, procedural semantics of logic programming, ie programs - theories, questions, SLD-derivation, SLD-tree, search strategies.

University textbooks are intended for students of master's degree programs in computer science.

Download e-book for free (pdf)

EFFUSE Scientific education for advanced

EFFUSE Scientific education for advanced

E-book

E-publication

Beáta Valkay ed.
Ivana Slepáková-Monika Balogová a kol.

EFFUSE - Scientific Education for Advanced is an educational material designed for university students interested in ecological sciences, biology and environmental protection. The publication was developed as part of the EFFUSE project and focuses on the scientific investigation of living organisms in the river ecosystem, with an emphasis on their ecological role and importance as bioindicators. The river ecosystem is a dynamic environment where a wide range of organisms can be studied, from algae and phytoplankton to aquatic invertebrates, fish, amphibians and reptiles. This publication presents a detailed study of their adaptations, life cycles, reproductive strategies and their importance for ecological balance. Particular attention is paid to fish and amphibians, whose environmental demands and sensitivity to pollution make them important indicators of water quality and environmental status. The publication also provides guidance on how to integrate their study into university education in the form of practical research. It also includes a chapter on science education in the context of sustainable development, which is often absent from university curricula in Slovakia and Ukraine. This material promotes the link between theory and practice and develops students' scientific thinking in order to prepare them to meet the environmental challenges of the future.

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)

Základy astronómie a astrofyziky

Základy astronómie a astrofyziky

E-book

E-book

Rudolf Gális

The presented work provides basic knowledge of astronomy and astrophysics in a completely new multimedia format. The scope of the knowledge presented is mainly focused on stellar astrophysics and supplemented by cosmology beyond the title of the work.

A new approach in this work is the large proportion of visual materials, graphs, and video clips, contrasted with the brevity of the accompanying text. Such a form of presenting knowledge in this field is unprecedented in Slovakia, and therefore this work can be considered a completely innovative piece. It should be emphasized that the engaging form of the presented knowledge does not come at the expense of its content. The work contains all the necessary information that a physics student, especially one with a pedagogical focus, should master. The work can also be an invaluable aid to teachers in secondary and even primary schools, as well as professional astronomers in popularizing astronomical knowledge.

This suggests that the work covers a relatively wide range of needs at various institutions dealing with astronomy, from universities, through faculties of education and grammar schools, to observatories, planetariums, and astronomy clubs.

Download the e-book for free (pdf)

EFFUSE príručka pre učiteľov

EFFUSE príručka pre učiteľov

E-book

E-publication

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

The EFFUSE Teacher's Guide is a practical educational material for primary and secondary school teachers who want to develop environmental awareness with their pupils through field-based learning. It is based on the concept of the EFFUSE project (‘Environment for the future by science education’), which aims to link science, research and education with environmental protection. The manual provides teachers with methodological support for planning and implementing outdoor activities aimed at observing and documenting organisms around the Laborec River and the Uh River. It contains instructions for working with real samples, basic biomonitoring procedures and offers the opportunity to participate in the creation of a virtual laboratory that mirrors the state of the local aquatic ecosystem. Through these activities, pupils will learn to understand the links between human activity and the state of the environment, while learning the basics of how scientists work in the fields of biology and ecology. The guide also motivates teachers to become agents of positive change, inspire the younger generation to be active and engage the community in conservation. It is a challenge and an opportunity to create a space for meaningful learning in line with current trends in environmental and digital education.

Download the e-book for free (pdf)

Počítačová fyzika I

Počítačová fyzika I

E-book

E-book

Milan Žukovič

The textbook Computational Physics I covers the topics taught in the course of the same name at the bachelor's level of the Physics study program, as well as in the course Application of Numerical Methods at the bachelor's level of the Applied Informatics study program.

The text builds upon the basic course in numerical methods, focusing on explaining the fundamental principles of computer-based solutions to some typical physics problems. It includes both the area of deterministic methods for solving problems modeled by ordinary and partial differential equations, as well as the area of stochastic Monte Carlo simulations. The course Computational Physics I lays the foundation for further study of more advanced computational methods taught at the master's level in the subject Computational Physics II. Nowadays, the use of computers as a tool for solving real physics problems, and for students as a tool for preparing their final bachelor's or master's theses, is almost indispensable.

This has led to the creation of numerous user-oriented software packages in various environments for solving a wide range of problems. However, without a thorough understanding of how individual computational techniques work, these programs become black boxes with many pitfalls and risks in their use. Therefore, this text emphasizes understanding both the strengths and weaknesses of individual methods and the assumptions for their successful application.

Download the 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)

Spring Electrochemical Meeting. Book of Abstracts.

Spring Electrochemical Meeting. Book of Abstracts.

E-book

E-book

Jana Shepa (ed.)

The book of abstracts from the second year of the international conference Spring electrochemical meeting is composed of contributions from the participants of this student conference.

The conference consisted of one invited lecture and ten competing student lectures. The message of this meeting is to create a dialogue between students of electrochemistry and the mutual exchange of knowledge. All contributions are professionally processed and inspiring.

Download the e-book for free (pdf)

UNINFOS 2014 • Univerzitné informačné systémy (Zborník príspevkov)

UNINFOS 2014 • Univerzitné informačné systémy...

E-book

E-book

Gabriel Semanišin - Emil HutňanJana Oleničová

The proceedings contain contributions from participants of the UNIFOS 2014 conference, University Information Systems in Košice, which took place from October 27 to 29, 2014.

ICT centers are important element that provide functioning and development hardware and software infrastructure at Slovak Universities. There are more differences between them in real position, management, personal sources and financing. ICT centers provide a wide range of services to large number of university users and they implement the policy of information security recently.

Download the e-book for free (pdf)

Metodika tvorby učebných úloh a didaktických testov pre chémiu

Metodika tvorby učebných úloh a didaktických...

E-book

E-book

Mária Ganajová

The current teaching of chemistry has its specific problems. On one hand, due to the shift of the focus of chemistry curriculum towards theoretical content, the difficulty of chemistry material has increased, and in connection with this, students' interest in chemistry has decreased.

The lack of student interest in chemistry is mostly supported by the opinion that it is precisely chemistry that significantly contributes to the deterioration of environmental quality. On the other hand, we live in an era where we encounter chemical products practically everywhere. It is necessary to learn the basics of chemistry as well as possible, which makes the question of increasing interest in chemistry education and improving its effectiveness very relevant. State educational programs have been introduced into Slovak schools as a foundation for the creation of school educational programs. These emphasize not only acquiring a certain amount of knowledge but also the development and enhancement of key and specific competencies of students, preparing them for lifelong learning and their application in life.

Therefore, increasing attention is being paid to one of the fundamental didactic tools for raising student activity in teaching, and thus improving the effectiveness of chemistry education – learning tasks. From both theory and practice of chemistry teaching, we know that learning tasks, questions, examples, exercises, etc., are among the important components of every teaching lesson. Learning tasks are applied in all phases of teaching – in the motivational phase, the phase of acquiring knowledge, the phase of consolidating knowledge, and the phase of checking the acquired knowledge. It is therefore clear that every teacher will sooner or later find themselves in a situation where they will have to select learning tasks from textbooks, workbooks, collections of problems and examples, or create them themselves.

This scientific monograph is intended for educational specialists and chemistry teachers, aiming to familiarize them with examples of various types and forms of learning tasks and the basics of their creation in chemistry. It can also be helpful for them in preparing certification works focused on test creation and their statistical evaluation.

Download the e-book for free (pdf)

DidSci+ Conference 2022 - PROCEEDINGS − Selected Papers

DidSci+ Conference 2022 - PROCEEDINGS −...

E-book

E-book

Mária Ganajová - Jozef Hanč - Ivana Sotáková - Petra Letošníková (eds.)

The International Conference on Research in Didactics of the Science – DidSci+ 2022, continues in the educational legacy of the successful series of the previous DidSci conferences held from 2004 in Krakow, Prague, Brno, or Trnava. The DidSci+ conferences present a platform for enduring international cooperation, focusing on the frontiers and current challenges in science education research. This special edition of DidSci conferences, celebrating its 10th anniversary, was held in Košice, at the Faculty of Science of Pavol Jozef Šafárik University, from June 26 to 29, 2022. The careful double-blind review process has led to two major publications offering a comprehensive look at the latest advances in STEM and science subjects education. The first volume of selected papers is published as the IOP Conference Series proceedings, Vol. 3037 with open access at https://iopscience.iop.org/issue/1742-6596/3037/1, and is primarily devoted to STEM education, assessment, evaluation, feedback strategies, and teacher development. The second volume of selected papers, published by ŠafárikPress, focuses more on curriculum development, educational innovation, and digital technologies, primarily in chemistry and biology. Both publications are intended for a wide audience, including in-service and pre-service teachers of science subjects, university students in scientific disciplines, researchers in science education, professionals in pedagogical and methodological centers, curriculum developers, and textbook authors.

Download the e-book for free (pdf)

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