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

Logika matematyczna (i elementy matematyki dyskretnej) 234970-S
Laboratorium (LAB) Semestr zimowy 2021/22

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

Liczba godzin: 6
Limit miejsc: (brak limitu)
Zakres tematów:

relacje, relacje równoważności, zbiory uporządkowane

porządki liniowe i częściowe, łańcuchy, antyłańcuchy

grafy i grafy skierowane, ścieżki, drogi, cykle

spójność, grafy acykliczne

ścieżki Eulera i Hamiltona, skojarzenia

rachunek zdań, formuły zdaniowa, wartościowania

system Hilberta, aksjomaty, dowody

twierdzenie o pełności

rachunek kwantyfikatorów, termy, formuły zdania

modele, wartościowania, spełnialność, twierdzenie o pełności

przykłady zastosowań: teoria stabilnych alokacji w medycynie, edukacji itp.

przykłady zastosowań: Google AdWords, analiza sieci społecznościowych

przykłady zastosowań: systemy eksperckie

przykłady zastosowań: systemy eksperckie cd.

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