/University

Primary LanguageTeX

University

Studia na Uniwersytecie Wrocławskim (2014-dziś).

Materiały

Materiały (listy zadań, rozwiązania, dodatkowe materiały) do niektórych z przedmiotów na które uczestniczyłem podczas studiów.

Projekty

Małe i trochę większe projekty, pisane podczas zajęć na Uniwersytecie Wrocławskim.

Studia Inżynierskie

Semestr I (Zima 2014):

  • Praktyka ścisłego rozumowania matematycznego
  • Logika dla informatyków
  • Analiza matematyczna
  • Kurs programowania w języku C
  • Wstęp do informatyki
  • Angielski B1

Semestr II (Lato 2015):

  • Algebra
  • Metody Programowania
    • Projekt: Kwadraty (Haskell)
  • Architektury systemów komputerowych
  • Programowanie obiektowe
  • Angielski B2-I

Semestr III (Zima 2015):

  • 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

Semestr IV (Lato 2016):

  • 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

Semestr V (Zima 2016):

  • 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

Semestr VI (Lato 2017):

  • 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

Semestr VII (Zima 2017):

  • Tutoring Logika KSI
  • Seminarium: Zaawansowane techniki programowania .NET

Studia Magisterskie

Semestr I (Lato 2018):

  • 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

Semestr II (Zima 2018):

  • Tutoring Logika KSI
  • Algorytmy Tekstowe
    • Materiały: tekstowe
  • Seminarium: Agile Software Development
  • Seminarium: Logika i teoria typów

Semestr II.5 (Lato 2019):

  • Historia Filozofii
  • Testowanie Oprogramowania
  • Algorytmy probabilistyczne
    • Materiały: probabilistyczne
  • Obliczenia i wnioskowanie w systemie Coq
    • Materiały: coq

Semestr III (Zima 2019):