Metody Formalne Informatyki
Informacje ogólne
Kod przedmiotu: | WMI.TCS.MFI.OL |
Kod Erasmus / ISCED: |
(brak danych)
/
(0541) Matematyka
|
Nazwa przedmiotu: | Metody Formalne Informatyki |
Jednostka: | Instytut Informatyki Analitycznej |
Grupy: | |
Punkty ECTS i inne: |
10.00
|
Język prowadzenia: | polski |
Zajęcia w cyklu "Semestr zimowy 2023/2024" (zakończony)
Okres: | 2023-10-01 - 2024-01-28 |
Przejdź do planu
PN CW
WYK
WT CW
ŚR WYK
CW
CZ CW
PT |
Typ zajęć: |
Ćwiczenia, 60 godzin
Wykład, 60 godzin
|
|
Koordynatorzy: | Marek Zaionc | |
Prowadzący grup: | Jakub Kozik, Bartosz Podkanowicz, Marek Zaionc | |
Strona przedmiotu: | https://marekzaionc.staff.tcs.uj.edu.pl/STUDENCI/MFI2023_24/ | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Przedmiot - Egzamin | |
Efekty kształcenia: | 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. |
|
Wymagania wstępne: | Brak |
|
Forma i warunki zaliczenia: | 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/ |
|
Metody dydaktyczne: | 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/ |
|
Sylabus przedmiotu dla studentów rozpoczynających studia od roku akademickiego 19/20 lub później: | Informatyka analityczna, studia stacjonarne pierwszego stopnia, rok 1 |
|
Skrócony opis: |
1. Zapoznanie z podstawowymi pojęciami i narzędziami logiki formalnej i budową systemów formalnych w informatyce i w matematyce. 2.Wprowadzenie fundamentalnych obiektów algorytmicznych i matematycznych oraz badanie ich własności. |
|
Literatura: |
K.Kuratowski, Wstęp do teorii mnogości i topologii, H.Rasiowa, Wstep do matematyki wspólczesnej, PWN, Warszawa 1971, 1984, 1998 K. Kuratowski, A. Mostowski, Teoria mnogości, PWN, Warszawa, 1978 Wykłady ze Wstępu do teorii mnogości z UW autor: prof. Jerzy Tiuryn Wykłady ze "Wstępu do teorii mnogości" z UW autor: prof. Paweł Urzyczyn Wykład "Logika dla informatyków z UWr autor: prof. Leszek Pacholski Materiały dydaktyczne przygotowane w ramach projektu Opracowanie programów nauczania na odległość na kierunku studiów wyższych – Informatyka |
Właścicielem praw autorskich jest Uniwersytet Jagielloński w Krakowie.