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

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

Koordynatorzy przedmiotu

Marcin Gąsiorek

Kryteria oceniania

Zaliczenie na podstawie projektu (przygotowanego w języku Erlang). Weryfikacja efektów: U1, U2, K1, K3.

Literatura

Literatura podstawowa

1. J. Backfield – Programowanie funkcyjne krok po kroku, Helion 2015
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

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