Prowadzony w
cyklach:
2024/SL, 2025/SL, 2026/SL
Punkty ECTS:
6
Język:
język polski
Organizowany przez:
Wydział Matematyki i Informatyki
Introduction to Formal Analysis 06-S2MA02-F11710
Jeszcze nie wprowadzono opisu dla tego przedmiotu...
Sylabus zajęć
W cyklu 2025/SL: https://sylabus.amu.edu.pl/pl/document/f4ab0eb4-6b68-4956-921d-d57af175ce94.pdf | W cyklu 2026/SL: https://sylabus.amu.edu.pl/pl/document/7db16e50-da04-4659-95aa-c5a361153d67.pdf |
Koordynatorzy przedmiotu
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: