Informatyka kwantowa
Wykład
Protokół BB84 (autor: Robert Dźwierzyński) bb84.qcl
Atak na protokół BB84 (autor: Robert Dźwierzyński) bb84-atak.qcl
Komputer kwantowy [Focus, luty 2020]
Języki i paradygmaty programowania
Wykład
Laboratoria 01: paradygmaty
Laboratoria 02: Ruby
Laboratoria 03: Ruby
Laboratoria 04: kolokwium z języka Ruby
Laboratoria 05: automaty
Laboratoria 06: automaty
Laboratoria 07: lex i yacc
Laboratoria 08: gramatyki, AZS
Laboratoria 09: dane i zmienne
Laboratoria 10: Haskell
Laboratoria 11: Haskell
Laboratoria 12: kolokwium z języka Haskell
Laboratoria 13: Prolog
Laboratoria 14: Prolog
Laboratoria 15: kolokwium z języka Prolog
EGZAMIN w II terminie
Czwartek 18 IX 2025, godzina 9:00, pokój 305.
Przypominam, że konieczne jest wcześniejsze zaliczenie ćwiczeń!
Zagadnienia, które omawialiśmy:
- automaty, wyrażenia regularne, gramatyki bezkontekstowe: definicje,
właściwości, języki, związek z programowaniem
- równoważność automatów, RE, GBK, AZS
- analiza leksykalna i syntaktyczna kodu, kompilacja, kontrola błędów
- obsługa zmiennych: czas życia, zakres widoczności
- typowanie
- paradygmaty programowania
- programowanie imperatywne obiektowe
- programowanie deklaratywne funkcyjne: rachunek lambda, monady, Haskell
- programowanie deklaratywne w logice: klauzule Horna, rekurencja, Prolog
System Linux od podszewki
Wykład
Zaliczenie przedmiotu: opis zadania.
Termin oddawania prac: 1.VII.2025.