UKSW

  • Logowanie
  • UKSW
  • POCZTA
  • rss

Blog

Kolejna witryna sieci „Blogi Pracowników UKSW”

  • Strona główna
  • Przykładowa strona

Archiwa kategorii: Bez kategorii

ELiTM – natualna dedukcja

29/10/2023k.zdanowski Odpowiedz

Szanowni Państwo,

poniżej zamieszczam odnośnik, to pliku opisującego system naturalnej dedukcji Jaśkowskiego, który pojawił się na wykładzie oraz na moich ćwiczeniach.

Naturalna_Dedukcja.pdf


Z wyrazami szacunku,
Konrad Zdanowski

Bez kategorii, dydaktyka, ELiTM, ELT | Napisz odpowiedź

więcej

Zabezpieczone: ELiTM – skrypt

06/10/2023k.zdanowski

Treść jest chroniona hasłem. Aby ją zobaczyć, proszę poniżej wprowadzić hasło:

Bez kategorii | Wpisz swoje hasło, aby zobaczyć komentarze.

więcej

ASD – wykłady 2022

08/03/2023k.zdanowski Odpowiedz

Poniżej znajdą Państwo pliki z notatkami z wykładu z ASD z roku 2022, kiedy wykład ten był prowadzony online. Proszę pamiętać, że w wykładach tych mogą znajdować się przeoczone błędy oraz, że wykłady z kolejnych lat mogą różnić się od siebie sposobem prezentacji oraz omawianymi zagadnieniami.

ASD_Wyklad_2022_Cz1Pobierz
ASD_Wyklad_2022_Cz2Pobierz
ASD, Bez kategorii | Tagi: ASD | Napisz odpowiedź

więcej

PLF – kolokwia

06/06/2019k.zdanowski Odpowiedz

Przykładowe kolokwia z PLF:

  1. Haskell, PLF_Kolokwium2a_20190604
  2. Haskell, PLF_Kolokwium2b_20190604
  3. Prolog, PLF_Kolokwium1_Przyklad
  4. Prolog, PLF_Kolokwium1a_20190514
Bez kategorii | Napisz odpowiedź

więcej

ASD – struktury dynamiczne

27/03/2018k.zdanowski Odpowiedz

Przykładowe implementacje struktur dynamicznych.

Choć implementacje używają pewnych cech języka C++, to obiektowość jest sprowadzona do minimum, w celu zachowania czytelności kodu dla osób lepiej czujących się w języku C.

  1. Lista: lista
  2. Drzewo BST: bst
ASD, Bez kategorii, dydaktyka | Napisz odpowiedź

więcej

Ostatnie wpisy

  • ELiTM – natualna dedukcja
  • Zabezpieczone: ELiTM – skrypt
  • ASD – wykłady 2022
  • PLF – egzaminy
  • PLF – kolokwia

Najnowsze komentarze

  • Konrad Zdanowski - Zabezpieczone: Zaproszenie do dyskusji wysłane przez Profesora Salwickiego
  • Konrad Zdanowski - Zabezpieczone: Zaproszenie do dyskusji wysłane przez Profesora Salwickiego
  • Konrad Zdanowski - Zabezpieczone: Zaproszenie do dyskusji wysłane przez Profesora Salwickiego
  • Lesław Socha - Zabezpieczone: Zaproszenie do dyskusji wysłane przez Profesora Salwickiego
  • Artur Mikitiuk - Zabezpieczone: Zaproszenie do dyskusji wysłane przez Profesora Salwickiego

Archiwa

  • październik 2023
  • marzec 2023
  • maj 2020
  • czerwiec 2019
  • kwiecień 2019
  • marzec 2018
  • kwiecień 2017
  • marzec 2017
  • luty 2017
  • styczeń 2017
  • kwiecień 2015

Kategorie

  • ASD
  • Bez kategorii
  • dydaktyka
  • ELiTM
  • ELT
  • PLF
  • WMP-UKSW

Meta

  • Zaloguj się
  • Kanał wpisów
  • Kanał komentarzy
  • WordPress.org
UKSW

Uniwersytet Kardynała Stefana Wyszyńskiego
w Warszawie
Centrum Systemów Informatycznych
ul Dewajtis 5, 01-815 Warszawa
pok. 002 (stary gmach)
tel. (22) 561 89 21 (wew. 321) fax. (22) 561 89 95
csi@csi.uksw.edu.pl

Uniwersytet Kardynała Stefana Wyszyńskiego
w Warszawie
ul. Dewajtis 5 | 01-815 Warszawa
tel. centrala 022/ 561 88 00
NIP: 525-00-12-946 | REGON: 000001956

Uniwersytet Kardynała Stefana Wyszyńskiego nie ponosi odpowiedzialności za treść zamieszczonych tu materiałów. Treści i opinie zawarte na tych podstronach są prywatnym zdaniem ich autorów i nie stanowią oficjalnego stanowiska Uniwersytetu Kardynała Stefana Wyszyńskiego.

Copyright © 2025 UKSW Wszelkie prawa zastrzeżone
Informacja o cookies