Conducted in
terms:
2022/23_Z, 2023/24_Z, 2024/25_Z
ECTS credits:
6
Language:
Polish
Formal methods in computer science WM-MA-S1-E5-MFWI
This course has not yet been described...
(in Polish) Dyscyplina naukowa, do której odnoszą się efekty uczenia się
mathematics
(in Polish) E-Learning
Term 2023/24_Z: (in Polish) E-Learning | Term 2024/25_Z: (in Polish) E-Learning | Term 2022/23_Z: (in Polish) E-Learning (pełny kurs) z podziałem na grupy |
(in Polish) Grupa przedmiotów ogólnouczenianych
(in Polish) nie dotyczy
(in Polish) Opis nakładu pracy studenta w ECTS
(in Polish) udział w zajęciach, 60h
nauka własna, 40h,
przygotowanie projektów informatycznych, 50h
w sumie 150h czyli 6ECTS
Subject level
advanced
Learning outcome code/codes
(in Polish) wykład MA1_W01, MA1_W04
laboratoria MA1_K01, MA1_K02, MA1_K07
Type of subject
obligatory
Preliminary Requirements
(in Polish) Znajomość podstaw matematyki i logiki matematycznej.
Umięjtność programowania w wybranym języku programowania.
Course coordinators
Term 2024/25_Z: | Term 2023/24_Z: | Term 2022/23_Z: |
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: