Diskretne Strukture 1

Vsebina predmeta

• Izjavni in predikatni racun
• Relacije, urejenosti in mreze
• Mnozice, moc mnozic
• Funkcije, permutacije
• Teorija stevil

Dodatna literatura

• G. Fijavz, Diskretne Strukture, FRI, 2015.
• James L. Hein, Discrete Structures, Logic and Computability , Jones and Bartlett Publishers, Inc. , USA, 2010.
• V. Batagelj in S. Klavzar: DS1. Logika in množice, Naloge. Drustvo matematikov, fizikov in astronomov Slovenije, Ljubljana 2013, ISBN: 961-212-039-0, 126 str.

(starejsa malo manj ustrezna literatura)

• V. Batagelj, I. Hafner: Matematika – logika, Drzavna zalozba Slovenije, Ljubljana 1991, 62 str.
• V. Batagelj: Diskretne strukture – logika, samozalozba, Ljubljana 1998, 100 str.
• V. Batagelj: Diskretne strukture – mnozice, samozalozba, Ljubljana 1998, 40 str.
• V. Batagelj: Diskretne strukture – algebra, samozalozba, Ljubljana 1998, 64 str.
• N. Prijatelj: Matematicne strukture 1, Drustvo matematikov, fizikov in astronomov Slovenije, Ljubljana 1988, 216 str.
• N. Prijatelj: Osnove Matematicne logike 1, Društvo matematikov, fizikov in astronomov Slovenije, Ljubljana 1988, 188 str.

Starejsi izpiti, kolokviji in teorije

2015/16

• 1. kolokvij
• 2. kolokvij
• 1. izpit
• 2. izpit
• 3. izpit
• 1. teorija
• 2. teorija
• 3. teorija

2014/15

• 1. kolokvij
• 2. kolokvij
• 1. izpit
• 2. izpit
• 3. izpit
• 1. teorija
• 2. teorija
• 3. teorija

2013/14

• 1. kolokvij
• 2. kolokvij
• 1. izpit
• 2. izpit
• 3. izpit
• 1. teorija
• 2. teorija
• 3. teorija