Szkoła Główna Handlowa w Warszawie - Centralny System UwierzytelnianiaNie jesteś zalogowany | zaloguj się
katalog przedmiotów - pomoc

Mathematical Logic

Informacje ogólne

Kod przedmiotu: 234971-D Kod Erasmus / ISCED: 11.0 / (0540) Matematyka i statystyka
Nazwa przedmiotu: Mathematical Logic
Jednostka: Szkoła Główna Handlowa w Warszawie
Grupy: Elective courses for AAB - masters
Przedmioty kierunkowe do wyboru SMMD-ADA
Punkty ECTS i inne: 3.00 (zmienne w czasie)
zobacz reguły punktacji
Język prowadzenia: angielski
Skrócony opis:

Mathematical Logic (with elements of Discrete Mathematics) provides a tool for economists to formulate and solve algorithmic problems, and to study correctness of formulas and deduction reasonings. It also gives foundations for further studies, for instance in optimization problems or problems of decision making under incomplete information in expert systems.

Pełny opis:

The goal of this course is to introduce students to the basics of mathematical logic (propositional calculus and first order predicate calculus) and discrete mathematics (orderings, equivalence relations, graphs, matchings, etc.) used in modern computer science.

Literatura:

Literatura podstawowa:

C. Wright, K. Ross, "Discrete Mathematics", J. Tiuryn, "Wstęp do logiki i teorii mnogości, H. Rasiowa, "Wstęp do matematyki współczesnej"

Literatura uzupełniająca:

J. Leskovec, A. Rajaraman, J.D. Ullman, "Mining of Massive Datasets", Stanford University, infolab.stanford.edu/~ullman/mmds/book.pdf

Efekty uczenia się:

Wiedza:

Students should know the ordering relations, including the notion of a maximal and minimal element, chain and antichain; equivalence relations and equivalence classes.

Students should know basic notions of graph theory such as connectedeness, acyclic graphs, Euler and Hamilton paths, matchings, and basic theorems about these notions.

Students should know propositional calculus, including the notion of logical connective, tautology, satisfaction, inference rules, proof, and the completeness theorem.

Students should know predicate calculus, including the notion of a term, formula, sentence, and model.

Umiejętności:

Students should be able to order sets, analyze orderings, apply the notion of equivalence relation.

Students should be able to formulate algorithmic problems in the language of graph theory.

Students should be able to use theoretical concepts to study correctness of statements and reasonings.

Students should be able to construct expert systems.

Kompetencje społeczne:

Students should understand how accepted assumptions and inference rules influence correctness of formulas considered as conclusions.

Srudents should understand how modern language of logic and discrete mathematics is used in formulating and solving algorithmic problems.

Metody i kryteria oceniania:

egzamin tradycyjny-pisemny: 100.00%

Zajęcia w cyklu "Semestr zimowy 2021/22" (w trakcie)

Okres: 2021-10-01 - 2022-02-18
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Laboratorium, 14 godzin więcej informacji
Wykład, 16 godzin więcej informacji
Koordynatorzy: (brak danych)
Prowadzący grup: (brak danych)
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Laboratorium - Zaliczenie
Wykład - Egzamin

Zajęcia w cyklu "Semestr letni 2021/22" (jeszcze nie rozpoczęty)

Okres: 2022-02-19 - 2022-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Laboratorium, 14 godzin więcej informacji
Wykład, 16 godzin więcej informacji
Koordynatorzy: (brak danych)
Prowadzący grup: (brak danych)
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Laboratorium - Zaliczenie
Wykład - Egzamin
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Szkoła Główna Handlowa w Warszawie.