Studia na Uniwersytecie Wrocławskim (2014-dziś).
Materiały (listy zadań, rozwiązania, dodatkowe materiały) do niektórych z przedmiotów na które uczestniczyłem podczas studiów.
Małe i trochę większe projekty, pisane podczas zajęć na Uniwersytecie Wrocławskim.
Praktyka ścisłego rozumowania matematycznegoLogika dla informatykówAnaliza matematycznaKurs programowania w języku CWstęp do informatykiAngielski B1
Algebra- Metody Programowania
- Projekt: Kwadraty (Haskell)
Architektury systemów komputerowychProgramowanie obiektoweAngielski B2-I
- Matematyka Dyskretna M
- Materiały: mdm
- Analiza Numeryczna L
- Materiały: anl
- Kurs WWW
- Projekt: Memory (JS + HTML + CSS)
Psychologia pozytywna- Systemy Operacyjne
- Materiały: so
- Projekt: Synchronizacja procesów z użyciem semaforów (C)
Angielski B2-II
- Algorytmy i Struktury Danych L
- Materiały: aisd
- Rachunek prawdopodobieństwa i statystyka
- Materiały: rpis
- Sieci Komputerowe
- Materiały: sk
- Projekt: Traceroute (C)
- Projekt: Serwer WWW (C++)
- Kurs programowania pod Windows w technologii .NET
- Materiały: windows
Komunikacja człowiek-komputer- Kultura bezpieczeństwa komputerowego
- Materiały: kbk
- Praktyka optymalizacji
- Materiały: po
Kurs projektowania aplikacji ASP.NET- Systemy Wbudowane:
- Materiały: wbudowane
- Języki Formalne i Złożoność Obliczeniowa
- Materiały: jfizo
- Bazy Danych
- Materiały: bd
- Projekt: System wspomagający organizację konferencji (swok) (C#)
- Projektowanie Obiektowe Oprogramowania
- Materiały: POO
- Hans++
- Materiały: Hans++
Metody Optymalizacji
Tutoring Logika KSISeminarium: Zaawansowane techniki programowania .NET
Algorytmiczna teoria gier- Seminarium: Logiki nieklasyczne: teoria i zastosowania
- Materiały: slnk
- Games, Automata, Logics, and Formal Verification
- Projekt: Parity-solver (PHP)
- Automated verification (Q1)
- Materiały: av
Deductive verification (Q2)- Kurs: Projektowanie i implementacja zaawansowanych aplikacji PHP
- Materiały: PHPCourse
Tutoring Logika KSI- Algorytmy Tekstowe
- Materiały: tekstowe
Seminarium: Agile Software DevelopmentSeminarium: Logika i teoria typów
Historia FilozofiiTestowanie Oprogramowania- Algorytmy probabilistyczne
- Materiały: probabilistyczne
- Obliczenia i wnioskowanie w systemie Coq
- Materiały: coq
Tutoring Logika KSI- Angielski B2+