Prowadzony w
cyklach:
2024/SL, 2025/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ęć
https://sylabus.amu.edu.pl/pl/document/f4ab0eb4-6b68-4956-921d-d57af175ce94.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: