Metody formalne w informatyce - zajęcia fakultatywne WM-I-S1-MFINF
Przedmiot wprowadza w podstawowe metody formalne w informatyce: automaty, maszyny Turinga, funkcje rekurencyjne, rachunek lambda i rachunek termów. Obejmuje także wprowadzenie do semantyki języków programowania w różnych ujęciach (denotacyjnym, algebraicznym, aksjomatycznym), modele logiczne i współbieżne oraz wybrane zastosowania teorii kategorii. Celem kursu jest rozwinięcie umiejętności formalnej analizy programów, dowodzenia ich własności i rozumienia modeli obliczeń.
Dyscyplina naukowa, do której odnoszą się efekty uczenia się
Grupa przedmiotów ogólnouczenianych
Koordynatorzy przedmiotu
Opis nakładu pracy studenta w ECTS
Poziom przedmiotu
Symbol/Symbole kierunkowe efektów uczenia się
Typ przedmiotu
Wymagania wstępne
Efekty uczenia się
WYKŁAD
Student:
W1 - charakteryzuje zasady formalizacji własności programów oraz wyjaśnia podstawowe pojęcia i metody związane z ich semantyką i weryfikacją formalną (I1_W14),
W2 - opisuje wybrane narzędzia wspomagające formalną weryfikację oprogramowania oraz wyjaśnia podstawy teoretyczne metod, na których są oparte (I1_W14),
LABORATORIUM
Student:
U1 - wykorzystuje wybrane narzędzia informatyczne do automatycznej weryfikacji programów oraz sprawdzania poprawności zaimplementowanych funkcji (I1_U18),
Kryteria oceniania
Dla wszystkich efektów przyjmuje się następujące kryteria oceny we wszystkich formach weryfikacji:
ocena 5: osiągnięty w pełni (bez uchwytnych niedociągnięć)
ocena 4,5: osiągnięty niemal w pełni i nie są spełnione kryteria przyznania wyższej oceny
ocena 4: osiągnięty w znacznym stopniu i nie są spełnione kryteria przyznania wyższej oceny
ocena 3,5: osiągnięty w znacznym stopniu – z wyraźną przewagą pozytywów – i nie są spełnione kryteria przyznania wyższej oceny
ocena 3: osiągnięty dla większości przypadków objętych weryfikacją i nie są spełnione kryteria przyznania wyższej oceny
ocena 2: nie został osiągnięty dla większości przypadków objętych weryfikacją
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: