Szkoła Główna Handlowa w Warszawie - Centralny System Uwierzytelniania
Strona główna

Mathematical Logic 234971-D
Wykład (WYK) Semestr zimowy 2021/22

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

Liczba godzin: 16
Limit miejsc: (brak limitu)
Zaliczenie: Ocena
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.

Grupy zajęciowe

zobacz na planie zajęć

Grupa Termin(y) Prowadzący Akcje
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Szkoła Główna Handlowa w Warszawie.
al. Niepodległości 162
02-554 Warszawa
tel: +48 22 564 60 00 http://www.sgh.waw.pl/
kontakt deklaracja dostępności USOSweb 7.0.2.0