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

2024Z - Logika III 3800-L24-F

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

2024 - Formal Philosophy of Mathematics 3800-FPM24-S

Prowadzone przedmioty

2023Z - SDNSP - Rozwój naukowy – zajęcia indywidualne z promotorem (warsztat naukowca) 1700-SZD-RNZI: Warsztaty (grupa 94)

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

2024Z - Semester essay (research project) 1 3800-ISP-SE1: Praca roczna (grupa 17)

2024Z - Semester essay (research project) 2 3800-ISP-SE2: Praca roczna (grupa 17)

2024L - Logika i teoria mnogości II 3800-KOG-LTM2: Ćwiczenia (grupa 3)

2024L - Praca roczna (projekt badawczy) 1 3800-PR-ST-1: Praca roczna (grupa 45)

2024L - Praca roczna (projekt badawczy) 2 3800-PR-ST-2: Praca roczna (grupa 45)

2024L - Praca roczna (projekt badawczy) 3 3800-PR-ST-3: Praca roczna (grupa 45)

2024L - Praca roczna (projekt badawczy) 4 3800-PR-ST-4: Praca roczna (grupa 45)

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

2024 - Formal Philosophy of Mathematics 3800-FPM24-S: Seminarium (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

WYK

ŚR