Filter By

Year of publication:

Year of publication:

Publication language:

Publication language:

Faculty:

Faculty:

Active filters

  • Year of publication:: 2016
  • 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)

Študentská vedecká konferencia PF UPJŠ 2016

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

Bádateľsky orientované vyučovanie matematiky a informatiky na stredných školách

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

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