prof. dr hab.

Wojciech Buszkowski

Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

współpracownik w jednostce Wydział Matematyki i Informatyki

Terminy konsultacji dla studentów

Po umówieniu się przez e-mail.

Zainteresowania

logika matematyczna, lingwistyka matematyczna, informatyka teoretyczna

Koordynowane przedmioty

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

2024/SZ - Logika i programowanie w Prologu 06-S2NMI03-P07426

Prowadzone przedmioty

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), Ćwiczenia (grupa 12), Ćwiczenia (grupa 15), Wykład (grupa 1)

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

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

2024/SZ - Logic and Computation 06-S2MA03-F11717: Ćwiczenia (grupa 11), Wykład (grupa 1)

2024/SZ - Logika i programowanie w Prologu 06-S2NMI03-P07426: Wykład (grupa 1)

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

ŚR