prof. dr hab.

Wojciech Buszkowski

Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

profesor w jednostce Zakład Logiki Matematycznej

kierownik w jednostce Zakład Logiki Matematycznej

Terminy konsultacji dla studentów

wtorek 12:00-13:00, czwartek 16:10-17:10

Zainteresowania

logika matematyczna, lingwistyka matematyczna, informatyka teoretyczna

Koordynowane przedmioty

2019/SL - Logika i teoria mnogości 06-DLTMLI0

Prowadzone przedmioty

2017/2018 - Seminarium 06-DSEMDD1: Seminarium (grupa 7)

2017/SZ - Logic and computation 06-DLACUI0-E: Ćwiczenia (grupa 11), Wykład (grupa 1)

2017/SZ - Logiczne podstawy informatyki 06-DLPIUI0: Wykład (grupa 1)

2017/SZ - Seminarium magisterskie 3 06-ZSEMUN3: Seminarium (grupa 6)

2017/SZ - Wstęp do logiki i teorii mnogości 06-DWLTLN0: Wykład (grupa 1)

2018/SL - Logika matematyczna 06-DLOGLN0: Ćwiczenia (grupa 11), Wykład (grupa 1)

2018/SL - Przygotowanie pracy i egzaminu licencjackiego 06-DPPLLN0: Ćwiczenia (grupa 16)

2018/SL - Seminarium licencjackie 06-DSEMLN0: Seminarium (grupa 16)

2018/2019 - Seminarium 06-DSEMDD2: Seminarium (grupa 7)

2018/SZ - Wstęp do logiki i teorii mnogości 06-DWLTLN0: Wykład (grupa 1)

2019/SL - Logic and computation 06-DLACUI0-E: Ćwiczenia (grupa 11), Wykład (grupa 1)

2019/SL - Logika i teoria mnogości 06-DLTMLI0: Ćwiczenia (grupa 16), Ćwiczenia (grupa 18), Wykład (grupa 1)

2019/SL - Przygotowanie do egzaminu magisterskiego 06-DEGZUM0: Ćwiczenia (grupa 21)

2019/SL - Przygotowanie pracy i egzaminu licencjackiego 06-DPPLLN0: Ćwiczenia (grupa 11)

2019/SL - Seminarium licencjackie 06-DSEMLN0: Seminarium (grupa 11)

2019/SL - Seminarium magisterskie 4 06-DSEMUM4: Ćwiczenia (grupa 21)

2019/2020 - Seminarium 06-DSEMDD3: Seminarium (grupa 8)

2019/SZ - The Lambda Calculus and its Application 06-DLCAUM0-E: Ćwiczenia (grupa 11), Wykład (grupa 1)

2020/SL - Logika i teoria mnogości 06-DLTMLI0: Ćwiczenia (grupa 16), Wykład (grupa 1)

2020/2021 - Seminarium 06-DSEMDD4: Seminarium (grupa 11)

2020/SZ - Logic and Computation 06-DLWIUM0-E: Ćwiczenia (grupa 11), Wykład (grupa 1)

2020/SZ - Logika i programowanie logiczne 06-DLPLUN0: Wykład (grupa 1)

2021/SL - Logika i teoria mnogości 06-DLTMLI0: Ćwiczenia (grupa 11), Wykład (grupa 1)

2021/SZ - Logic and Computation 06-DLWIUM0-E: Ćwiczenia (grupa 11), Wykład (grupa 1)

2021/SZ - Logika i programowanie logiczne 06-DLPLUN0: Wykład (grupa 1)

2022/SL - Logika i teoria mnogości 06-DLTMLI0: Ćwiczenia (grupa 13), Wykład (grupa 1)

2022/SZ - Logika i programowanie logiczne 06-DLPLUN0: Wykład (grupa 1)

2023/SL - Logic and Computation 06-DLWIUM0-E: Ćwiczenia (grupa 11), Wykład (grupa 1)

2023/SL - Logika i teoria mnogości 06-DLTMLI0: Ćwiczenia (grupa 11), Wykład (grupa 1)

2023/SL - Seminarium licencjackie 06-DSEMLM0: Seminarium (grupa 14)

2023/SL - Seminarium licencjackie 2 06-DSEMLM2: Seminarium (grupa 14)

2023/SL - Seminarium magisterskie 1 06-DSEMUM1: Seminarium (grupa 14)

Imiona

Wojciech

Nazwisko

Buszkowski

Stopnie i tytuły

prof. dr hab.

61 829 5444

Uniwersytetu Poznańskiego 4, 61-614 Poznań, pokój B2-29

http://buszko.home.amu.edu.pl

https://orcid.org/0000000229500864

wyślij wiadomość do użytkownika