Ostateczne poprawki, zaliczenia, konsultacje - sobota 20.02.2021 - godz. 11:30 https://meet.google.com/tgz-gsrx-xws

Programowanie Funkcyjne:

Wykłady:

• Wprowadzenie do Programowania Funkcyjnego i języka F#
• Typy złożone, moduły, funkcje wyższego rzędu, funkcje lambda w języku F#
• Dopasowanie wzorca, typy złożone i rekursywne, listy, rekursywne przetwarzanie list, rekursja ogonowa
• Listy, wyrażenia listowe, funkcje wyższego rzędu z modułu List i Option
• Przykładowa aplikacja w F#, obliczenia leniwe, sekwencje
• Kontynuacje, elementy programowania imperatywnego w F#

Laboratorium - studia stacjonarne:

• Laboratorium 1 - Wyrażenia i funkcje w języku F#.
• Laboratorium 2 - Typy złożone w języku F#.
• Laboratorium 3 - Typy złożone, operatory, listy w języku F#.
• Laboratorium 4 - Rekurencyjne przetwarzanie list w języku F#.
• Laboratorium 5 - Funkcje wyższego rzędu, moduł List.
• Laboratorium 6 - Aplikacje w języku F#.
• Laboratorium 7.

Laboratorium - studia niestacjonarne:

• Laboratorium 1 - Wyrażenia i funkcje w języku F#.
• Laboratorium 2 - Typy złożone, dopasowanie wzorca, przetwarzanie list w języku F#.
• Laboratorium 3 - Przetwarzanie list, funkcje wyższego rzędu.

Programowanie deklaratywne - laboratorium:

• Laboratorium 1 i 2 - Wprowadzenie, fakty, reguły. Drzewo Genealogiczne.
  Projekt Drzewo Genealogiczne - wymagania
• Laboratorium 3 i 4 - Listy, operacje arytmetyczne w języku Prolog
• Laboratorium 5 i 6 - Rozwiązywanie zadań z wykorzystaniem języka Prolog
• Zadania dodatkowe