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:

FORMATÍVNE 2025. Spoločne pri implementácii...

E-book

E-publication

Mária Ganajová-Ivana Sotáková-Petra Letošníková

The conference proceedings FORMATIVE 2025 – Implementing Formative Assessment in Schools Together constitute the output of an online conference organised by the Institute of Chemical Sciences, Faculty of Science, Pavol Jozef Šafárik University in Košice, in cooperation with the National Institute of Education and Youth in Bratislava, within the framework of the KEGA project No. 001UPJŠ-4/2023. These proceedings present current knowledge, experience, and examples of good practice in implementing formative assessment in primary, secondary, and university teaching, with an emphasis on the use of digital tools. The papers address the foundations of formative assessment in the context of curricular changes and the ongoing educational reform, as well as specific didactic procedures for its implementation in the teaching of science and social science subjects, including mathematics, Slovak language, and foreign languages. Particular attention is paid to the development of professional teaching competences, formative assessment strategies, providing targeted feedback, and promoting students’ active participation in the assessment process. These proceedings also present the Digilib digital library, a tool developed to support the creation and management of formative assessment processes within the school environment. This publication is intended for experts in pedagogy and didactics, teachers at all levels of education, student teachers, digital coordinators, and all those interested in educational innovation and in improving the quality of teaching through formative assessment.

Download the e-book for free

Biochemická terminológia

€11.60
Availability: 44 In Stock

 Mária KožurkováMartin Putala 

Cieľom tejto knihy je spracovať názvoslovné zásady a pravidlá, podľa ktorých sa tvoria slovenské názvy biochemických zlúčenín. Táto monografia je po dlhšom čase prvým pokusom o spracovanie tohto problému, a preto dúfame, že bude pomôckou a prínosom nielen pre študentov a učiteľov ale aj vedeckých pracovníkov. Poslúži aj študentom stredných škôl, ktorí majú záujem o biochémiu a molekulovú biológiu. Kniha obsahuje najnovšie názvoslovie, zásady a pravidlá pri tvorbe názvov biochemických zlúčenín. Kniha plne aplikuje odporúčania spoločnej komisie Medzinárodnej únie pre teoretickú a aplikovanú chémiu (IUPAC) a Medzinárodnej únie pre biochémiu a molekulárnu biológiu (IUBMB) so zahrnutím aktuálnych úprav názvoslovia, stereochémie a grafického znázornenia štruktúr podľa IUPAC. 

Autori

MAGNETICKÉ NANOČASTICE: NANOMAGNETIZMUS,...

E-book

Adriana Zeleňáková

Magnetic nanoparticles are extremely interesting magnetic objects that still hide much that is undiscovered, both because of their physical properties and because of their diverse applications. Iron nanoparticles, or iron oxides, are used in medical diagnostics for magnetic resonance imaging, in the treatment of hyperthermia, and an important application is the use of magnetic particles for targeted drug delivery.

The textbook "Magnetic Nanoparticles: Nanomagnetism, Preparation and Advanced Applications" is intended primarily for students of the Master's programme in Physics and students of related disciplines at universities and faculties with a physical, chemical, metallurgical and biophysical focus. The motivation for writing this textbook was to develop study material that would contribute to improving the quality of teaching in the profile subject Nanomaterials and Nanotechnology at the Institute of Physical, Faculty of Sciences, UPJŠ, in the Master's programme Condensed Matter Physics, as well as in the profile subject in the PhD programme Advanced Materials.

The university textbook is divided into eight chapters. The first and second chapters are devoted to basic information about magnetism, the origin of nanomagnetism in nanoparticles and surface phenomena. The third and fourth chapters are devoted to nanomagnetism in nanoparticle systems. The fifth chapter describes in detail individual protocols for investigating the phenomenon of superparamagnetism and the phenomenon of superspin glass using the SQUID device. The sixth chapter describes individual procedures for the preparation of magnetic nanoparticles and the seventh chapter describes individual experimental techniques for the study of magnetic nanoparticles. The final eighth chapter describes the applications of nanoparticles in biomedicine.

During the writing of this textbook, the chapters were prepared using the foreign-language specialist literature listed in the recommended reading list.

Download the e-book for free

Ortuť v životnom prostredí ako rizikový faktor...

€9.04
Availability: 10 In Stock

Tatiana Kimáková

Táto vedecká monografia je komplexnou vedeckou prácou zameranou na prítomnosť a pôsobenie ortuti v životnom prostredí, ale aj na rizikové faktory zdravia, ktoré sú s ňou spojené. Monografia predstavuje charakteristiku ortuti v multidisciplinárnom zábere, prezentuje využitie v priemysle a v zdravotníctve, popisuje negatívne vplyvy ortuti v životnom prostredí, na zdravotný stav obyvateľstva. Zároveň prináša návrhy a odporúčania pre rizikové skupiny ľudí. Súčasťou monografie je komplexný výskum koncentrácie ortuti vo vzorkách komodít domácej i zahraničnej produkcie a vo vzorkách rastlín pomocou atómového absorpčného spektrometra AMA 254. Vedecká monografia je vhodná pre vedeckú komunitu, študentov medicínskych, veterinárnych, prírodovedných a poľnohospodárskych odborov ako aj pre študentov verejného zdravotníctva všetkých troch stupňov vysokoškolského štúdia. Monografia je učená aj pre všetkých záujemcov z radov informovanej verejnosti.

Autorka

Book of Abstracts: International Meeting on...

E-book

E-book

Soňa Király (ed.)

The book of abstracts from International Meeting on Advanced Materials, IMAM 2025, is composed of contributions from participants of this conference. The conference consisted of 16 lectures by mentioned conference participants. The conference is focused on advanced materials and its application in various research areas. All contributions are professionally processed and inspiring.

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)

The XIV. European Magnetic Sensors and...

E-book

E-book

Jozef Bednarčík (ed.)

The European Magnetic Sensors and Actuators Conference (EMSA) is a consolidated European forum that serves to assess the status, recent progress, and development in the field of magnetic sensor technology and magnetic actuators. It was first held in 1996 in Iasi (Romania) and since then has continued every two-three years in different European cities. The aim of the conference is to generate an overview of research in magnetic sensors and actuators, to recognize their relevance in modern industry and to identify potential future collaborations. EMSA 2024 will provide an excellent opportunity to bring together scientists and engineers from universities, research institutes and industry to present and discuss their most recent results covering both fundamental and applied aspects of magnetic sensors and actuators.

Download e-book for free (pdf)

Autumn Electrochemical Meeting

E-book

E-book

Jana Shepa (ed.)

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

The conference consisted of one invited lecture and six 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)

Š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)

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

E-book

E-book

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

The proceedings contain abstracts of 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)

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)

Základné fyzikálne praktikum II.
  • On sale!
  • -€9.55

Základné fyzikálne praktikum II.

€10.55 €1.00 -€9.55
Availability: 28 In Stock

Peter Kollár a kol. 

Skriptá Základné fyzikálne praktikum II. sú určené pre študentov Prírodovedeckej fakulty UPJŠ v Košiciach študujúcich na študijných programoch fyzika a medziodborových programoch v kombinácii s fyzikou. Obsahom skrípt sú úlohy z elektriny, magnetizmu a optiky. Podľa študijných programov sú zaradené do 3.semestra bakalárskeho štúdia, v ktorom by už študenti mali mať absolvovaný predmet všeobecná fyzika II. (elektrina a magnetizmus). Súčasťou každej úlohy sú základné poznatky venované javom, ktoré sú obsahom samotnej úlohy.

Autori

Sekundárny metabolizmus (Úvod do štúdia...

E-book

E-book

Miroslava Martinková

This electronic material focuses on the subject of secondary metabolism and its products - secondary metabolites. The material gives an overview of the basic building blocks and construction mechanisms through which molecules can be synthesized in living organisms (plants). The processes of formation of the mentioned metabolites are explained using the basic mechanisms of organic reactions. Several of the secondary metabolites presented have a remarkable biological profile and are used as therapeutics or serve as lead compounds for the development of novel pharmacological agents. This electronic document is primarily intended for students of the Master's degree programme in Organic Chemistry as supporting material for the profile subject Chemistry of Natural Products.

Download e-book for free (pdf)

Ropucha zelená v meste Košice

E-book

E-book

Monika Balogová - Viktória Vargová - Kristián Gulyás - Natália Pipová - Dalibor Uhrovič -Marcel Uhrin

A peer-reviewed publication dealing with the biology and ecology of the European green toad, bringing new findings through scientific research on the roosting ecology, spatial activity and dispersal of this protected species in urban environments. The subject matter of this publication is highly topical, as amphibians represent the most threatened vertebrate group in the world. This work is suitable not only for university students interested in batrachology, amphibian ecology, and vertebrate zoology, but also for conservation workers, municipalities, and specialists directly involved in the reconstruction of urban areas with green toads. Last but not least, this publication is suitable for enthusiasts with an interest in nature and its conservation.

Download the e-book for free (pdf)

Predictive Modeling of Soil Types and Their...

E-book

E-book

Vasyl Cherlinka - Michal Gallay - Yuryi Dmytruk

The textbook is a practical guide to predictive mapping of soil types and properties in R. It bridges digital soil mapping theory with hands-on practice, covering the full workflow from data acquisition and preprocessing to validation and uncertainty quantification. Early chapters introduce the tidyverse ecosystem and the sf and terra packages for spatial data handling. Subsequent parts address modelling of categorical variables (soil types/WRB) and continuous variables (soil organic carbon) using Random Forest, Cubist, and Quantile Regression Forests. Step-by-step code examples show training/testing, feature selection, accuracy metrics, and model interpretation. Reproducibility and cartographic best practice are emphasised. A Slovakia case study demonstrates real-world application while outlining limits and generalisability. The book targets bachelor’s, master’s, and PhD students in geography, geoinformatics, environmental and agricultural sciences, as well as practitioners. Written in English, it fits international courses and mobility programmes.

Download the e-book for free (pdf)

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