Politechnika Warszawska - Centralny System UwierzytelnianiaNie jesteś zalogowany | zaloguj się
katalog przedmiotów - pomoc

Programowanie funkcyjne

Informacje ogólne

Kod przedmiotu: 1120-MAMNI-NSP-0241 Kod Erasmus / ISCED: (brak danych) / (brak danych)
Nazwa przedmiotu: Programowanie funkcyjne
Jednostka: Wydział Matematyki i Nauk Informacyjnych
Grupy: Przedmioty obowiązkowe, sem. 2 MNI (rozpoczęcie w r. ak. parzystym)
Przedmioty obowiązkowe, sem. 4 MNI (rozpoczęcie w r. ak. nieparzystym)
Punkty ECTS i inne: 4.00
Język prowadzenia: polski
Skrócony opis:

Cel przedmiotu:

Zdobycie wiedzy na temat założeń i własności teoretycznych funkcyjnych języków programowania. Nabycie praktycznych umiejętności programowania w wybranym języku funkcyjnym.

Wymagania wstępne:

Znajomość podstawowych pojęć teorii mnogości i algebry abstrakcyjnej.

Znajomość podstawowych zagadnień z teorii kategorii.

Przedmioty poprzedzające:

Elementy Logiki i Teorii Mnogości

Algebra i jej zastosowania 1, 2

Teoria Kategorii

Pełny opis:

Treść kształcenia:

Podstawowe pojęcia Lambda rachunku i teorii typów

Funkcje i ewaluacja,

Abstrakcja,

Listy i kolekcje

Rekurencja

Monady

Literatura:

A Gentle Introduction to Haskell 98; Hudak, Peterson, Fasel

Introduction to Lambda Calculus, Barendregt, Barendsen

Programming in Haskell, 2nd Edition; Hutton, Cambridge University Press

Metody i kryteria oceniania:

Łącznie można zdobyć 60 punktów, na które składają się:

1. Zaliczenie z części teoretycznej (20 punktów, test pod koniec semestru),

2. Dwa zadania laboratoryjne (2 x 10 punktów),

3. Projekt domowy (20 punktów).

Ocena z przedmiotu wystawiona będzie wg następującej skali:

od 31pkt – 3,0

od 37pkt – 3,5

od 43pkt – 4,0

od 49pkt – 4,5

od 55pkt – 5,0

Zajęcia w cyklu "rok akademicki 2019/2020 - sem. letni" (w trakcie)

Okres: 2020-02-22 - 2020-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Laboratorium, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Tomasz Brengos
Prowadzący grup: Tomasz Brengos
Lista studentów: (nie masz dostępu)
Zaliczenie: Zaliczenie na ocenę

Zajęcia w cyklu "rok akademicki 2018/2019 - sem. letni" (zakończony)

Okres: 2019-02-18 - 2019-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Laboratorium, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Tomasz Brengos
Prowadzący grup: Tomasz Brengos, Jan Karwowski
Lista studentów: (nie masz dostępu)
Zaliczenie: Zaliczenie na ocenę
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Politechnika Warszawska.