Informatyka MIMUW

  • Materiały
Strona główna › Logika dla informatyków

Ćwiczenia

wt., 11/29/2011 - 15:31 — ciebie
  • Logika zdaniowa
  • Logika pierwszego rzędu, formuły, zdania, modele, tautologie
  • Logika pierwszego rzędu: formalizowanie własności
  • Język naturalny a logika pierwszego rzędu, formalizacja pojęć nieostrych
  • Logika pierwszego rzędu: gry Ehrenfeuchta-Fraisse'go
  • Teoria modeli dla logiki pierwszego rzędu, tw. o zwartości, tw. Skolema-Loewenheima
  • Logika i bazy danych, algebra relacyjna
  • Rozstrzygalność teorii logicznych
  • Tw. Goedla o niezupełności
  • Zdaniowa logika dynamiczna PDL
  • Logika Temporalna Czasu Liniowego LTL
  • Logika drugiego rzędu SO i monadyczna logika drugiego rzędu MSO
  • Kolokwia i egzaminy, układ chronologiczny
  • Kolokwia i egzaminy z okresu przed 2007 (stary program)
‹ Logika dla informatyków w górę Logika zdaniowa ›
  • Wersja do wydruku