Materiały z przedmiotów realizowanych podczas studiów (ISIM/informatyka)
- Algebra liniowa 1 R
- Analiza matematyczna I
- Logika dla informatyków (zaawansowana)
- Matematyka dyskretna (M)
- Ochrona własności intelektualnej
- Algebra I
- Analiza matematyczna II
- Architektury systemów komputerowych
- Metody programowania
- Topologia
- Algebra II
- Analiza matematyczna III
- Analiza numeryczna (M)
- Historia filozofii
- Programowanie funkcyjne
- Algebra 2 R
- Algorytmy i struktury danych (L)
- Funkcje analityczne R
- Równania różniczkowe 1 R
- Seminarium: Logiki nieklasyczne: teoria i zastosowania
- Języki programowania
- Rachunek prawdopodobieństwa dla informatyków
- Systemy operacyjne
- Topologia algebraiczna 1
- Bazy danych
- Języki formalne i złożoność obliczeniowa
- Projekt: kuźnia rdzeni
- Seminarium: Zaawansowane zagadnienia semantyki języków programowania
- Algorytmy tekstowe
- Konstrukcja kompilatorów
- Manipulacje i nadużycia na rynku finansowym
- Metody implementacji algorytmów
- Złożoność obliczeniowa
- An Introduction to Finite and Classical Model Theory
- Kryptografia
- Seminarium: Logika i teoria typów
- Teoretyczne podstawy języków programowania
- Kurs języka Elixir
- Machine Learning
- Seminar: algebraic effects
- Teoria kategorii w informatyce
- Algorytmy funkcjonalne i trwałe struktury danych
- Algorytmy probabilistyczne
- Neural Networks. Theory and Practice.
- Weryfikacja programów w systemie Coq