Conducted in
term:
2026/27_Z
ECTS credits:
6
Language:
Polish
Formal Methods in Computer Science WM-I-S1-MFINF
This course has not yet been described...
(in Polish) Dyscyplina naukowa, do której odnoszą się efekty uczenia się
information and communication technology
(in Polish) Grupa przedmiotów ogólnouczenianych
(in Polish) nie dotyczy
Course coordinators
(in Polish) Opis nakładu pracy studenta w ECTS
(in Polish) WYKŁAD
uczestnictwo w zajęciach: 30 godz.
udział w konsultacjach: 4 godz.
przygotowanie do zajęć: 6 godz.
przygotowanie do zaliczenia: 35 godz.
Łącznie 75 godz.
1,4 ECTS - kontakt bezpośredni z prowadzącym
1,6 ECTS - praca własna
LABORATORIUM
uczestnictwo w zajęciach: 30 godz.
udział w konsultacjach: 4 godz.
przygotowanie do zajęć: 11 godz.
przygotowanie do zaliczenia: 30 godz.
Łącznie 75 godz.
1,4 ECTS - kontakt bezpośredni z prowadzącym
1,6 ECTS - praca własna
Subject level
advanced
Learning outcome code/codes
enter learning outcome code/codes
Type of subject
optional with unlimited choices
Preliminary Requirements
(in Polish) Znajomość podstaw logiki matematycznej, rachunku zdań i logiki pierwszego rzędu. Umiejętność programowania w wybranym języku.
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: