## Graduate study programme

Back   Schedule   Hrvatski

## Course groups

Prikaži sve grupe na predmetu

## Goals

Teach students the concepts and simple examples of mathematical logic, set theory, and number theory. Prepare students for lifelong learning and use of mathematical structures, relationships and operations as tools in application.

## Conditions for enrollment

Requirements met for enrolling in the study programme

## Course description

Mathematical logic. Introduction to logic. Propositional logic. Propositional logic alphabet. Semantics and syntax. Logical operations. Truth Tables. Tautology. Conjunctive and disjunctive normal form. Formulas Equations. Natural deduction. The basics of set theory. Set operations. Venn Diagrams. Binary Relation. Equivalence Relation. Partition of the set. Order Relations. The basics of the number theory. Integers. Divisiblity and prime numbers. Congruences. Eulers function. Eulers theorem and the Fermats little theorem. Introduction to Diophantine Equations.

## Student requirements

Defined by the Student evaluation criteria of the Faculty of Electrical Engineering, Computer Science and Information Technology Osijek and paragraph 1.9

## Monitoring of students

Defined by the Student evaluation criteria of the Faculty of Electrical Engineering, Computer Science and Information Technology Osijek and paragraph 1.9

## Obligatory literature

1. 1 Žubrinić, Darko Diskretna matematika Zagreb:Element, 2002.

2. 2 Anderson, I. A first Course in Discrete Mathematics Springer Verlag, 2001.

Pretraži literaturu na:

## Recommended additional literature

1. 1 Stanford Encyclopedia of Phylosophy, Classical Logic e- skripta

2. 2 Mladen Vuković Logika e-skripta

3. 3 M. Vuković i V. Čačić Teorija skupova e-skripta (PMF Zagreb)

## Course assessment

Conducting university questionnaires on teachers (student-teacher relationship, transparency of assessment criteria, motivation for teaching, teaching clarity, etc.). Conducting Faculty surveys on courses (upon passing the exam, student self-assessment of the adopted learning outcomes and student workload in relation to the number of ECTS credits allocated to activities and courses as a whole).

## Overview of course assesment

Learning outcomes
Upon successful completion of the course, students will be able to:

1. create KNF and DNF and simplify them

2. create a model for solving the expression equation

3. design the wanted set based on the requirements from the basis of the set theory

4. create a model for constructing a task solution from the set theory

5. create a path for tasks solving in the basics of the number theory

Aktivnosti studenta: Vidi tablicu aktivnosti