logika dla informatyków
opis świetny wykład z logiki, nie tylko dla informatyków, uniwersytet warszawski, mim
słowa kluczowe logika urzyczyn informatyka uw uniwersytet warszawski mim matematyka rachunek zdań rachunek predykatów twierdzenie goedla pełność poprawność hilbert rachunek sekwentów naturalna dedukcja teoria modeli rozstrzygalność syntaksa semantyka
08.08.2007
676
1
9/8 
189
ściągający ten materiał zobaczyli również
skrypt z ontologiiskrypt z ontologii - wydział filozofii i socjologii uniwers...
wprowadzenie do problematyki baz danychpierwszy wykład z baz danych wydział informatyki uniwersyt...
Masz kłopoty z odczytaniem pliku z egzaminem? . Nie zapomnij zainstalować niezbędnych wtyczek umożliwiających oglądanie plików w różnych formatach.