Strona główna » Oferta dydaktyczna » Logika dla informatyków

Logika dla informatyków

ProwadzącyWitold Charatonik
TypObowiązkowy 1
Semestrzimowy
StatusPoddana pod głosowanie
EgzaminTak
WymaganiaBrak
Efekty kształceniaBrak
Utworzono26 Maj 2012, 00:00
Aktualizacja12 Maj 2017, 17:15
Opis przedmiotu:

Program:

  1. Zasada indukcji.
  2. Składnia i semantyka rachunku zdań i rachunku predykatów. Pojęcie spełniania i prawdziwości formuł. Niesprzeczność zbioru formuł.
  3. Podstawowe pojęcia teoriomnogościowe i operacje na zbiorach: suma, iloczyn, iloczyn kartezjański, zbiór potęgowy, relacje, funkcje, relacje równoważności, klasy abstrakcji, zbiór ilorazowy.
  4. Moce zbiorów. Zbiory skończone i nieskończone. Zbiory przeliczalne i zbiory mocy continuum. Twierdzenia Cantora i Cantora-Bernsteina. /li>
  5. Porządki częściowe i liniowe. Dobre porządki. Indukcja noetherowska.
  6. Unifikacja termów. Informacja o metodzie rezolucji.
  7. Dowodzenie twierdzeń. Informacja o systemie naturalnej dedukcji.

Wymagania: Matematyka w zakresie szkoły średniej

 

Przedmioty w ofercie

  • - przedmiot poddany pod głosowanie
  • - przedmiot w ofercie
  • - przedmiot w wersji roboczej