1. Domov
  2. Zbirka gradiv
  3. Univerza v Ljubljani
  4. Fakulteta za računalništvo in informatiko
  5. Računalništvo in matematika (mag)
  6. Logika v računalništvu

Logika v računalništvu

Naloži gradivo

Predavanja, zapiski, skripte

 
Algoritem 0
Boolova algebra 0
Curry-Howardov izomorfizem 0
Naravna dedukcija 0
Predikatni račun +1
SAT 0
Izpostavljene vsebine
Individualne svetovalnice za mlade
Kam po diplomi? Na magistrski študij na Fakulteto za upravo!
Zadnji klic za prvi prijavni rok za vpis v študijsko leto 2025/2026!
Najnovejša gradiva
  • © Študentski.net 2000-2025
  • Vse pravice pridržane