Ta witryna wykorzystuje pliki cookie, dowiedz się więcej Zgadzam się
Mechaniczne dowodzenie twierdzeń


O Kursie

Tematyka kursu
W ramach wykładu omówione zostaną zagadnienia dotyczące automatycznego dowodzenia twierdzeń z wykorzystaniem do tego celu programu dowodzenia Prover9. Aby lepiej opanować omawianą problematykę nie mogło zabraknąć w nim informacji dotyczącej logiki zdań, która jest podstawą wiedzy do zrozumienia algorytmu rezolucji reguł oraz logiki pierwszego rzędu.

Struktura kursu
Kurs składa się z następujących elementów:

  1. Wykład wprowadzający do kursu (video)
  2. Test z pytaniami sprawdzającymi wiedzę

Sposób realizacji kursu
Kurs jest przeznaczony do realizacji w trybie samokształcenia lub pod kierunkiem nauczyciela. Po zapoznaniu się ze wszystkimi elementami kursu oraz wykonaniu testu sprawdzającego wiedzę, uczestnik otrzymuje prawo do samodzielnego wystawienia certyfikatu potwierdzającego zrealizowanie kursu e-learningowego „Mechaniczne dowodzenie twierdzeń” przygotowanego przez Warszawską Wyższą Szkołę Informatyki.

Certyfikat potwierdzający realizację kursu

certyfikat

O wykładowcy
Prof. Teodor Przymusiński jest wykładowcą na University of California