Ta witryna wykorzystuje pliki cookie, dowiedz się więcej Zgadzam się
Po co informatykom logika


O Kursie

Tematyka kursu
Wykład poświęcony został na omówienie podstawowych zagadnień matematycznych niezbędnych informatykom, a więc logice. Autor korzystając z przykładów zaczerpniętych z życia codziennego omawia problemy związane z stosowaniem spójników lub/albo oraz lub/i, a także kłopoty z stosowaniem implikacji w zdaniach. W dalszej części przedstawione zostają informacje dotyczące poprawnej komunikacji z komputerem poprzez wprowadzenie w świat zasad stosowania spójników logicznych, metalogicznych oraz wzajemnej wyrażalności. Po tym bardzo ciekawym wstępie przechodzimy do logiki Hoare’a, która omówiona jest w oparciu o przykłady.

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 „Po co informatykom logika” przygotowanego przez Warszawską Wyższą Szkołę Informatyki.

Certyfikat potwierdzający realizację kursu

certyfikat

O wykładowcy
Dr Piotr Chrząstkowski – Wachtel jest wykładowcą Uniwersytetu Warszawskiego.