Mateusz Łełyk

Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

adiunkt w jednostce Zakład Logiki

Terminy konsultacji dla studentów

Środa 8.30-9.30 w sali 111 (Krakowskie Przedmieście 3).

Zainteresowania

Aksjomatyczne teorie prawdy, metamatematyka arytmetyki pierwszego rzędu i
teorii mnogości, modele niestandardowe arytmetyki i teorii mnogości, zobowiązania niejawne teorii aksjomatycznych.

Koordynowane przedmioty

2022Z - Logika III 3800-L322-F

2022Z - Logika i teoria mnogości I 3800-KOG-LTM1

2022L - Logika i teoria mnogości II 3800-KOG-LTM2

2022L - Teoria obliczeń 3800-KOG-MS1-TO

2022 - Logic Seminar 3800-LS22-S

2022 - Logic Seminar 3800-LS22-S-OG

Prowadzone przedmioty

2022Z - Logika III 3800-L322-F: Ćwiczenia (grupa 1), Wykład (grupa 1)

2022Z - Logika i teoria mnogości I 3800-KOG-LTM1: Wykład (grupa 1)

2022L - Logika i teoria mnogości II 3800-KOG-LTM2: Wykład (grupa 1)

2022L - Praca roczna (projekt badawczy) 1 3800-PR-ST-1: Praca roczna (grupa 38)

2022L - Praca roczna (projekt badawczy) 2 3800-PR-ST-2: Praca roczna (grupa 38)

2022L - Praca roczna (projekt badawczy) 3 3800-PR-ST-3: Praca roczna (grupa 38)

2022L - Praca roczna (projekt badawczy) 4 3800-PR-ST-4: Praca roczna (grupa 38)

2022L - SDNSP - Rozwój naukowy – zajęcia indywidualne z promotorem (warsztat naukowca) 1700-SZD-RNZI: Warsztaty (grupa 86)

2022L - Teoria obliczeń 3800-KOG-MS1-TO: Wykład (grupa 1)

2022 - Logic Seminar 3800-LS22-S: Seminarium (grupa 1)

2022 - Logic Seminar 3800-LS22-S-OG: Seminarium (grupa 1)

2022 - Seminarium badawcze "Logika matematyczna" 1000-1S17LM: Seminarium badawcze (grupa 1)

Imiona

Mateusz Zbigniew

Nazwisko

Łełyk

Stopnie i tytuły

https://sites.google.com/uw.edu.pl/lelyk

adres email jest ukryty

wyślij wiadomość do użytkownika