DSuni, predavanja 23.10.2023

Video predvajalnik se nalaga.

Trenutni čas 0:00

Trajanje 0:00

Naloženo: 0%

Vrsta podatkovnega toka V ŽIVO

Preostali čas 0:00

DSuni, predavanja 23.10.2023

174 ogledov

Gašper Fijavž • objavljeno 25. 10. 2023 v Računalništvo in informatika

Opis posnetka

Predikatni račun. Uvod. Kvantifikatorji. Izjavne formule, doseg kvantifikatorjev. Interpretacija, enakovrednost formul. Zakoni predikatnega računa.

Vidnost

Skrit

Jezik

slovenščina

Avtor

Gašper Fijavž

Licenca

© Vse pravice pridržane

Ključniki

#predicate_calculus #quantifiers #interpretacija

Komentarji