Mathematical Logic 234971-D
Laboratorium (LAB) Semestr zimowy 2022/23

Informacje o zajęciach (wspólne dla wszystkich grup)

Liczba godzin:

Limit miejsc:

(brak limitu)

Zakres tematów:

relations, equivalence relations and orderings

Linear and partial orderings, chains and antichains

graphs and directed graphs, paths and cycles,

connected graphs, acyclic graphs

Euler paths, Hamilton paths, matchings

propositional logic, propositional formulas, valuations

Hilbert system, axioms, proofs

completeness theorem

predicate calculus, terms, formulas, sentences

models, valuations, satisfaction, completeness theorem

applications: theory of stable allocations and health care systems, education etc.

applications: Google Adwords, analysis of social networks

applications: expert systems

applications: expert systems, cont.

Grupa	Termin(y)	Prowadzący	Akcje
2000	(brak danych), (sala nieznana)	Paweł Zawiślak	szczegóły
Wszystkie zajęcia odbywają się w budynku:

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Szkoła Główna Handlowa w Warszawie.