Uniwersytet Warszawski - Centralny System Uwierzytelniania

Programowanie funkcyjne

Informacje ogólne

Kod przedmiotu:	1000-2M24PFU
Kod Erasmus / ISCED:	(brak danych) / (brak danych)
Nazwa przedmiotu:	Programowanie funkcyjne
Jednostka:	Wydział Matematyki, Informatyki i Mechaniki
Grupy:	Przedmioty obieralne dla informatyki i ML Przedmioty obieralne fakultatywne dla informatyki (IIIr. licencjatu, nowy program)
Punkty ECTS i inne:	6.00 Podstawowe informacje o zasadach przyporządkowania punktów ECTS: roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS; tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h; 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się; tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS; nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta. zobacz reguły punktacji
Język prowadzenia:	polski
Rodzaj przedmiotu:	fakultatywne
Pełny opis:	Tematy Wprowadzenie: wartości, funkcje, typy, abstrakcja Funkcje wyższego rzędu Typy danych Polimorfizm parametryczny Abstrakcja typów danych (sygnatury, klasy, funktory) I/O i inne elementy imperatywne Obliczenia leniwe, strumienie Testowanie Rozumowanie o programach (poprawność, złożoność, techniki optymalizacji) Elementy funkcyjne w innych językach programowania (np. funkcje wyższego rzędu, kontynuacje, callbacki, promesy)
Literatura:	Literatura Graham Hutton, Programming in Haskell (2nd Ed), Cambridge University Press 2016 Christopher Allen, Julie Moronuki, Haskell Programming from first Principles, http://haskellbook.com/ B. O'Sullivan, J. Goerzen, D. Stewart Real World Haskell O'Reilly Media 2008, http://book.realworldhaskell.org/
Efekty uczenia się:	Cele kształcenia Student ma ogólną wiedzę na temat funkcyjnego paradygmatu programowania. Student umie: stworzyć średniej wielkości program w języku funkcyjnym, posługiwać się funkcyjnymi mechanizmami obecnymi w innych językach programowania,
Metody i kryteria oceniania:	Zasady zaliczania średniej wielkości indywidualny projekt programistyczny, egzamin

Zajęcia w cyklu "Semestr letni 2024/25" (zakończony)

Okres:	2025-02-17 - 2025-06-08	Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WYK LAB LAB LAB WT LAB LAB ŚR LAB CZ LAB PT
Typ zajęć:	Laboratorium, 30 godzin więcej informacji Wykład, 30 godzin więcej informacji
Koordynatorzy:	Marcin Benke
Prowadzący grup:	Marcin Benke, Jacek Chrząszcz, Mirosława Miłkowska, Daria Walukiewicz-Chrząszcz, Omid Yaghoubi
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Egzamin

Zajęcia w cyklu "Semestr letni 2025/26" (jeszcze nie rozpoczęty)

Okres:	2026-02-16 - 2026-06-07	Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT
Typ zajęć:	Laboratorium, 30 godzin więcej informacji Wykład, 30 godzin więcej informacji
Koordynatorzy:	Marcin Benke
Prowadzący grup:	Marcin Benke, Jacek Chrząszcz, Mirosława Miłkowska, Daria Walukiewicz-Chrząszcz, Omid Yaghoubi
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Przedmiot - Egzamin Wykład - Egzamin

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Warszawski.