Filter By

Year of publication:

Year of publication:

Publication language:

Publication language:

Faculty:

Faculty:

Active filters

  • Year of publication:: 2024
Linear programming via problem solving

Linear programming via problem solving

E-book

E-book

Katarína Cechlárová

Linear programming belongs to parts of mathematics with the greatest number of real applications. This Slovak-English problem collection provides an overview of basic knowledge in the area, application problems as well as problems to acquire routine in calculations. It is complemented by questions motivating the student to look for further theoretical principles, construct conterexamples  and formulate arguments to explain the studied phenomena.

Download the e-book for free (pdf)

Teória vypočítateľnosti

Teória vypočítateľnosti

E-book

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)

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