Logika - bezpłatny kurs z Open Education, szkolenie 14 tygodni, od 4 do 6 godzin tygodniowo, termin: 3 grudnia 2023 r.

Zajęcia zapoznają studentów z logiką matematyczną, jej metodami, twierdzeniami i zastosowaniami. W trakcie zajęć studenci będą mieli możliwość zapoznania się z różnymi systemami logicznymi – logiką klasyczną, logiką klasyczną, logika intuicjonistyczna, różne logiki modalne, a także klasyczna logika predykatów i konstruowane teorie w oparciu o to.

Poruszone zostaną zagadnienia związane z językami formalnymi, zagadnienia wyrażalności w nich różnych warunków, systemy aksjomatyczne, dowodowość i dowodowość, prawdziwość i obalalność. Pokazane zostaną relacje pomiędzy tymi pojęciami, a także relacje pomiędzy różnymi systemami logicznymi. Po drodze rozważone zostaną właściwości teorii, w tym algorytmicznych.

Kurs obejmuje zarówno materiał teoretyczny prezentowany na wykładach, jak i zadania praktyczne oferowane studentom w formie ćwiczeń. Studenci będą mogli nauczyć się konstruować formalne dowody twierdzeń, modele teorii, kontrmodele dla twierdzeń, których nie da się udowodnić w teoriach, a także rygorystycznie argumentować swoje wnioski.

Rybakow Michaił Nikołajewicz

1

Dobrze

Kandydat nauk fizycznych i matematycznych: Uniwersytet Państwowy w Jarosławiu. P.G. Demidova, dr: Uniwersytet Witwatersrand, profesor nadzwyczajny Stanowisko: profesor nadzwyczajny, Wydział Matematyki

14 tygodni, 4 do 6 godzin tygodniowo,

Początek 03 grudnia