Programowanie funkcyjne 1000-I1ProgFunkc

• programowanie imperatywne a programowanie deklaratywne: C, SQL i wyrażenia regularne
• Erlang: podstawowe konstrukcje i typy danych
• Podstawy algorytmiki programów funkcyjnych
• Programowanie sekwencyjne
• Rekurencja ogonowa i jej optymalizacja
• Programowanie współbieżne
• Obsługa błędów
• Biblioteki

Całkowity nakład pracy studenta

30 godz. – laboratoria 30 godz. – czytanie literatury i dokumentacji 30 godz. – rozwiązywanie zadań praktycznych RAZEM: 90 godz. 3 pkt. ECTS

Efekty uczenia się - wiedza

• W1: definiuje podstawowe paradygmaty programowania i podaje praktyczne przykłady języków, które je realizują (K_W02, K_W10) • W2: opisuje główne cechy programowania funkcyjnego, które odróżniają go od innych paradygmatów (K_W02, K_W03) Powyższe efekty realizują efekty kierunkowe: K_W02, K_W03, K_W10

Efekty uczenia się - umiejętności

• U1: potrafi projektować i implementować algorytmy w języku funkcyjnym (K_U07) • U2: potrafi programować i analizować rozbudowane projekty w funkcyjnym języku programowania (K_U05) Powyższe efekty realizują efekty kierunkowe: K_U05, K_U07

Efekty uczenia się - kompetencje społeczne

• K1: Potrafi zdobywać i rozszerzać wiedzę związaną z programowaniem funkcyjnym (K_K03) • K3: Przekazuje posiadaną wiedzę w zrozumiały sposób (K_K02) Powyższe efekty realizują efekty kierunkowe: K_K02, K_K03

Koordynatorzy przedmiotu

Marcin Gąsiorek

Metody dydaktyczne

Laboratorium z elementami konwersatorium. Interaktywny zajęcia, pobudzające do bieżącej dyskusji, zadawania pytań i rozwiązywania konkretnych problemów.

Metody dydaktyczne eksponujące

- pokaz

Metody dydaktyczne podające

- opis
- pogadanka

Metody dydaktyczne poszukujące

- laboratoryjna

Rodzaj przedmiotu

przedmiot fakultatywny

Wymagania wstępne

• Elementy logiki i teorii mnogości • Programowanie II

Kryteria oceniania

Ocena na podstawie wyniku uzyskanego z dwóch kolokwiów programistycznych. Weryfikacja efektów: U1, U2, K1, K3.

Literatura

Literatura podstawowa

1. J. Backfield – Programowanie funkcyjne krok po kroku, Helion 2015
2. Swaine, Michael – Programowanie funkcyjne : poznaj: Clojure, Elixir, Haskell, Scala, Swift, PWN 2020

W cyklu 2025/26Z:

Literatura podstawowa

2. F. Cesarini, S. Thompson – Erlang programming, O'Reilly 2009
3. Oficjalna dokumentacja na stronie https://www.erlang.org/docs

Litera uzupełniająca
1. Z. Kessin – Building web applications with ERLANG, O'Reilly 2012
2. W. Loder – Erlang and Elixir for Imperative Programmers, Apress 2016

W cyklu 2026/27Z:

Literatura podstawowa

1. Thompson, Simon – Haskell : the craft of functional programming, Harlow : Addison Wesley 1999.; 2nd ed.
2. Bird, Richard S. – Introduction to functional programming using Haskell, Harlow : Prentice Hall 1998.; 2nd ed.
3. Oficjalna dokumentacja na stronie https://www.haskell.org/documentation/

Litera uzupełniająca
1. Lipovača, Miran – Learn You a Haskell for Great Good!, No Starch Press 2011
2. Strona internetowa https://learnyouahaskell.github.io/introduction.html

Więcej informacji

Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb:

Strona przedmiotu 1000-I1ProgFunkc w USOSweb