Informatyka MIMUW

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

Tutorials in English

strict warning: Only variables should be passed by reference in /usr/share/drupal6/modules/book/book.module on line 559.
śr., 10/03/2012 - 11:30 — fmurlak
  • Propositional logic
  • First order logic: formulas, models, tautologies
  • First order logic: formalizing properties
  • First order logic and natural lanuguage
  • First order logic: Ehrenfeucht-Fraisse games
  • Model theory for first order logic: compactness theorem, Skolem-Loewenheim theorem
  • Logic and databases, relational algebra
  • Decidability of logical theories
  • Linear Temporal Logic (LTL)
  • Second order logic (SO) and monadic second order logic (MSO)
‹ zadania_egz w górę Propositional logic ›
  • Wersja do wydruku