Ta witryna wykorzystuje pliki cookie, dowiedz się więcej Zgadzam się
Jak wnioskują maszyny


O Kursie

Cel kursu
Celem kursu jest przekazanie uczestnikom podstawowej wiedzy z zakresu logiki z perspektywy jej zastosowań w informatyce i sztucznej inteligencji.

Tematyka kursu
Wykład jest poświęcony wprowadzeniu do logiki z perspektywy jej zastosowań w informatyce i sztucznej inteligencji. Poruszane treści obejmują następujące zagadnienia:

  • wprowadzenie do logiki jako nauki o modelowaniu świata rzeczywistego i wnioskowaniu o nim;
  • klasyczny rachunek zdań (składnia, semantyka spójników logicznych); odniesienie do zbiorów i użycie diagramów Venna, jako metody wnioskowania;
  • wyszukiwanie a wnioskowanie na przykładzie wyszukiwarki internetowej Google;
  • automatyczne wnioskowanie (informacja o metodzie rezolucji dla rachunku zdań).

Wszystkie zagadnienia są ilustrowane przykładami, w tym związanymi z robotyką i sztuczną inteligencją.

Od słuchaczy nie wymaga się żadnej wstępnej wiedzy z zakresu logiki i matematyki.

  1. Wprowadzenie
  2. Wyszukiwanie i wnioskowanie
  3. Klasyczny rachunek zdań
  4. Diagramy Venna
  5. Automatyczne wnioskowanie
  6. I co dalej?

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

  1. Wykład wprowadzający do kursu (video)
  2. Zeszyt dydaktyczny do kursu - w formacie PDF,
  3. Prezentacja PowerPoint do kursu - w formacie .ppt,
  4. 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 „Jak wnioskują maszyny” przygotowanego przez Warszawską Wyższą Szkołę Informatyki.

Certyfikat potwierdzający realizację kursu

certyfikat

O wykładowcy
Prof. dr hab. Andrzej Szałas jest wykładowcą na Wydziale Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego