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:
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:

HOST-GUEST A SUPRAMOLEKULOVÁ CHÉMIA

E-book

E-book

Miroslava Matiková Maľarová

The university textbook entitled: Host-guest and supramolecular chemistry provides basic information about this scientific field as well as the types of compounds that belong to it. It provides basic characteristics of non-bonded interactions as well as methods of characterization and classification for these compounds. It summarizes knowledge about various types of host-guest systems from the oldest such as Hofmann clathrates to inclusive compounds such as cyclodextrins and calixarenes. In addition to structural and synthetic information, which is supplemented with images, the textbook also addresses the possibilities of application or practical use of compounds. The conclusion of each chapter is supplemented with tasks for elaboration on a given topic.

Download the e-book for free (pdf)

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)

ATÓMOVÁ ŠTRUKTÚRA LÁTOK I - Základy RTG...

E-book

E-book

Jozef Bednarčík

Crystallography deals with discerning the arrangement and bonding of atoms in crystalline solids. Almost immediately after their discovery, X-rays began to be used to study the internal structure of substances.

The first chapter of this textbook deals with the basic concepts of crystallography. At the beginning, crystalline solids are characterized. In the next section, the basic types of bonds and their characteristics are briefly presented. The main subject of this chapter is the interpretation of basic concepts such as symmetry operations, translational periodicity, grid, elementary cell. Spatial lattices and crystal systems are presented. At the end of this chapter, attention is paid to the description of individual types of defects in crystal structures. In the second chapter, the Bohr model of the hydrogen atom is presented. Individual quantum numbers and their meaning are given.

Next, energy levels and allowed transitions within an atom with multiple electrons are described. The second chapter concludes with the characterization of the basic absorption and emission processes. The third chapter is devoted to the production of X-ray radiation and its properties. Sources of X-ray radiation and a description of their operation are presented.

Interaction of X-ray radiation with matter, absorption and detection of X-ray radiation are the subject of the last part of this chapter.

Download the e-book for free (pdf)

Počítačová fyzika II

E-book

E-book

Milan Žukovič

This textbook is intended for master's degree students and is a follow-up to the Computational Physics I course studied at the bachelor's level. The content of the textbook Computational Physics II focuses on stochastic methods of solving physical problems, mainly on Monte Carlo (MC) simulation of many-particle systems.

The focus on this computationally intensive approach is motivated by the gradual increase in the computing capacities of ordinary computers as well as the introduction of high-performance computing clusters. This has led to significant progress in the development of new simulation techniques, thanks to which MC simulations have found application in various areas of research and application practice. Considering the main research focus of the department, this text is particularly devoted to the presentation of basic and more advanced MC simulation techniques applied to a simple Ising spin model in order to investigate its magnetic, thermodynamic and critical properties.

The next part is devoted to MC simulations of random processes. It focuses on the simplest but also the most basic random walk process and demonstrates its applications in financial analysis and the solution of a quantum system described by the time-dependent Schrödinger equation. The last part is dedicated to the basics of molecular dynamics, applied to simulating the classical movement of atoms in a given force field. By mastering the problems addressed in this course, students will obtain a potential tool for working out of their diploma theses, or a methodology useful for their further scientific and research practice in the field of investigating of complex systems.

The lectured topic is subsequently exercised in the form of preparing projects implemented in the freely distributable software Octave, which is easy on the user's programming skills and which students have the opportunity to familiarize themselves with in the previous study.

Download e-book for free (pdf)

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