Podstawy informatyki kwantowej

Wykład: TUTAJ

Języki i paradygmaty programowania

Wykład: TUTAJ

LAB01: paradygmaty

LAB02: Ruby

LAB03: Ruby

LAB04: kolokwium

LAB05: automaty

LAB06: automaty

LAB07: lex, yacc

LAB08: gramatyki, AZS

LAB09: dane, zmienne

LAB10: Haskell

LAB11: Haskell

LAB12: kolokwium

LAB13: Prolog

LAB14: Prolog

LAB15: kolokwium

Zagadnienia obowiązujące na egzaminie:

1. automaty, wyrażenia regularne, gramatyki bezkontekstowe: definicje, właściwości, języki, związek z programowaniem
2. równoważność automatów, RE, GBK, AZS
3. analiza leksykalna i syntaktyczna kodu, kompilacja, kontrola błędów
4. obsługa zmiennych: czas życia, zakres widoczności, typowanie
5. paradygmaty programowania
6. programowanie imperatywne obiektowe
7. programowanie deklaratywne funkcyjne: rachunek lambda, monady, Haskell
8. programowanie deklaratywne w logice: klauzule Horna, rekurencja, Prolog

Linux

Wykład: TUTAJ