Metody konstruktywne w informatyce 420-IS1-3MKI
Profil studiów: ogólnoakademicki
Forma studiów: stacjonarne
Rodzaj przedmiotu: fakultatywny
Dziedzina i dyscyplina nauki: nauki ścisłe i przyrodnicze, informatyka
Rok studiów / semestr: 3 / 5 lub 6
Wymagania wstępne (tzw. sekwencyjny system zajęć i egzaminów): Podstawy logiki i teorii mnogości, Matematyka dyskretna
Wykład: 15h Laboratorium: 30h
Metody dydaktyczne: Wykłady oraz laboratoria z dużą ilością praktycznych ćwiczeń do wykonania
Punkty ECTS: 4
Bilans nakładu pracy studenta:
Udział w zajęciach:
- wykład 15h
- laboratorium 30h
Przygotowanie do zajęć:
- wykład 10h
- laboratorium 10h
Zapoznanie z literaturą: 10h
Sprawozdania, raporty z zajęć, prace domowe: 15h
Przygotowanie do zaliczenia: 5h
Czas trwania zaliczenia: 2h
Udział w konsultacjach: 3h
Wskaźniki ilościowe:
- nakład pracy studenta związany z zajęciami wymagającymi bezpośredniego udziału nauczyciela: 50h, 2 ECTS
- nakład pracy studenta, który nie wymaga bezpośredniego udziału nauczyciela: 50h, 2ECTS
Rodzaj przedmiotu
Tryb prowadzenia przedmiotu
Wymagania (lista przedmiotów)
Założenia (lista przedmiotów)
Założenia (opisowo)
Koordynatorzy przedmiotu
Efekty kształcenia
Potrafi przytoczyć definicję liczb naturalnych von Neumanna. KA6_WG1
Zna aksjomaty arytmetyki Peano. KA6_WG1
Umie sformułować zasadę indukcji matematycznej w różnych postaciach (zasada minimum, maksimum, regresji, indukcja zupełna). KA6_WG1, KA6_WG11
Rozumie związek pomiędzy indukcją a rekurencją. KA6_WG1, KA6_WG11
Potrafi formułować twierdzenia i prowadzić rozumowania pod kontrolą systemu weryfikacji poprawności dowodów. KA6_UW4 , KA6_UW5
Potrafi przeprowadzić rozumowanie indukcyjne w oparciu o różne sformułowania zasady indukcji. KA6_UW4
Umie dobrać predykat oraz ustalić zmienną, względem której należy prowadzić rozumowanie indukcyjne. KA6_UW4
Umiejętnie posługuje się definicjami rekurencyjnymi. KA6_UW4
Potrafi rozwiązywać problemy w sposób konstruktywny. KA6_KK1
Umie rozwiązywać zadania we współpracy z innymi. KA6_UO2
Kryteria oceniania
Ogólna forma zaliczenia: zaliczenie na ocenę. Dopuszczalna liczba nieusprawiedliwionych nieobecności na zajęciach laboratoryjnych to 20% zajęć.
Literatura
Literatura podstawowa:
A. Grabowski, A. Korniłowicz, A. Naumowicz, Mizar in a Nutshell.
W. Sierpiński, 250 Problems in Elementary Number Theory.
Literatura uzupełniająca:
Dokumentacja systemu Mizar.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: