Logika v računalništvu
Predavanja, zapiski, skripte
Algoritem | ||
Boolova algebra | ||
Curry-Howardov izomorfizem | ||
Naravna dedukcija | ||
Predikatni račun | ||
SAT |
Izpostavljene vsebine
Sodeluj kot prostovoljec: Evropska prestolnica kulture 2025
Najnovejša gradiva