Formal Methods in Computer Science

(in Polish) Celem wykładu jest zapoznanie z podstawowymi pojęciami i narzędziami logiki formalnej i budową systemów formalnych w informatyce i w matematyce oraz wprowadzenie fundamentalnych obiektów algorytmicznych i matematycznych oraz badanie ich własności.

EFEKTY KSZTAŁCENIA:

Student zna aksjomatykę teorii mnogości, aksjomaty sumy, pary. Iloczyn Kartezjański, relacje, relacja równoważności, rozkłady zbiorów.

Student zna konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, definiowanie przez indukcje, zasadę minimum, maksimum oraz konstrukcję liczb całkowitych, wymiernych i rzeczywistych.

Student zna podstawowe twierdzenia z zakresu teorii mocy.

Student zna teorię zbiorów uporządkowanych, liniowo uporządkowanych, dobrze uporządkowanych, zna podstawowe twierdzenia z tego zakresu.

Student potrafi stosować zdobytą wiedzę matematyczną do formułowania, analizowania i rozwiązywania prostych zadań.

Student potrafi w sposób zrozumiały w mowie i w piśmie przedstawić poprawne rozumowanie matematyczne, formułować definicje i twierdzenia.

Student potrafi precyzyjnie formułować pytania służące pogłębieniu zrozumienia danego tematu.

(in Polish) Brak

(in Polish) Pierwsze kolokwium wspólne odbędzie się w dniu 27 listopada 2023 w terminie wykładu.

Drugie kolokwium wspólne odbędzie się w dniu 17 stycznia 2024 w terminie wykładu.

Egzamin odbędzie się w dniu 31 stycznia 2024 o godzinie 12:00 w sali 0004. Warunkiem dopuszczenia do egzaminu jest uzyskanie pozytywnego zaliczenia.

Egzamin poprawkowy odbędzie się 22.02.2024.

OCENY Z ZALICZENIA:

Ocena z zaliczenia składa się z ocen z kolokwiów 2 x 35p plus 30p za aktywność na ćwiczeniach. Skala ocen: od 0 do 50 niedostateczny; od 51 do 60 dostateczny; od 61 do 70 dostateczny+; od 71 do 80 dobry; od 81 do 90 dobry+; od 91 do 100 bardzo dobry.

OCENY Z EGZAMINU:

Egzamin odbędzie się formie testu. Warunkiem dopuszczenia do testu egzaminacyjnego jest uzyskanie pozytywnego zaliczenia. Ocena końcowa przedmiotu składa się w 60% z punktów uzyskanego wcześniej zaliczenia i 40% z punktów testu egzaminacyjnego.

OCENY Z EGZAMINU POPRAWKOWEGO:

Egzamin poprawkowy odbędzie się w formie testu. Do egzaminu poprawkowego są dopuszczone wszystkie osoby, które nie zdały egzaminu a także osoby, które nie uzyskały zaliczenia. Ocena końcowa przedmiotu po egzaminie poprawkowym składa się w 60% z punktów uzyskanych wcześniej na zaliczenie i 40% z punktów z testu egzaminu poprawkowego. Ocena z egzaminu poprawkowego może być dostateczna dla osób które uzyskały ocenę końcową przedmiotu większą niż 50%. Dla osób, które nie zdobyły wcześniej zaliczenia a które zechcą przystąpić do testu poprawkowego ocena końcowa po egzaminie poprawkowym staje się jednocześnie oceną z zaliczenia.

Slajdy do wykładów będę publikowane na stronie

https://marekzaionc.staff.tcs.uj.edu.pl/STUDENCI/MFI2023_24/

(in Polish) Klasyczny wykład tablicowy. Definicje oraz wypowiedzi twierdzeń będą prezentowane na slajdach, które przed wykładem będą udostępniane w sieci na stronie

https://marekzaionc.staff.tcs.uj.edu.pl/STUDENCI/MFI2023_24/

(in Polish) Informatyka analityczna, studia stacjonarne pierwszego stopnia, rok 1