Programowanie funkcyjne 510-IS1-3PF-23
Profil studiów: ogólnoakademicki
Forma studiów: stacjonarne
Rodzaj przedmiotu: fakultatywny
Dziedzina: nauki ścisłe i przyrodnicze; dyscyplina: informatyka
Rok studiów / semestr: 3 / 6
Wymagania wstępne (tzw. sekwencyjny system zajęć i egzaminów): brak
Wykład: 15h
Laboratorium: 30h
Metody dydaktyczne: wykład, prezentacja multimedialna
Punkty ECTS: 4
Bilans nakładu pracy studenta:
Udział w zajęciach:
- wykład 15h
- laboratorium 30h
Przygotowanie do zajęć:
- wykład 7h
- laboratorium 14h
Prace domowe: 14h
Przygotowanie do kolokwium: 4h
Przygotowanie do egzaminu: 8h
Czas trwania kolokwium: 4h
Czas trwania egzaminu: 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: 54h, 2,1 ECTS
- nakład pracy studenta, który nie wymaga bezpośredniego udziału nauczyciela: 47h, 1,9 ECTS
Rodzaj przedmiotu
Tryb prowadzenia przedmiotu
Założenia (opisowo)
Koordynatorzy przedmiotu
Efekty kształcenia
Efekty uczenia się w ramach realizacji przedmiotu:
zna założenia paradygmatu programowania funkcyjnego. KP6_WG4, KP6_WG11
zna rachunek lambda. KP6_WG1, KP6_WG11
potrafi prowadzić rozumowania w rachunku lambda. KP6_UW4, KP6_UW16
potrafi stosować wybrany język funkcyjny. KP6_UW7
potrafi stosować zamiennie języki funkcyjne i imperatywne w zależności od realizowanego zadania. KP6_UW7
dobór narzędzi odpowiedni do realizowanego zadania. KP6_KK1
Kryteria oceniania
Ogólna forma zaliczenia: 1 kolokwium po części dotyczącej lambda rachunku, 1 kolokwium po części programowania.
Pisemny egzamin.
Obowiązuje całkowity zakaz używania narzędzi sztucznej inteligencji w trakcie kolokwium i egzaminu.
Literatura
Literatura podstawowa:
- R. Nederpelt, H. Geuvers, „Type Theory and Formal Proof", Cambridge University Press 2014
- H. Abelson, G. J. Sussman, „Struktura i interpretacja programów komputerowych”, WNT 2002
Literatura uzupełniająca:
- E. Chailloux, P. Manoury, B. Pagano, „Developing Applications with Objective Caml”, http://caml.inria.fr/pub/docs/oreilly-book/
- http://www.ocaml-tutorial.org/
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: