Christoph Schwarzweller: Teaching - semestr zimowy 2020/21





Konsultacje

poniedziałek, 09.00 - 09.45 link do spotkania w MSTeams

wtorek, 09.00 - 09.45 link do spotkania w MSTeams



Programowanie w logice

link do spotkania (sobota, 23.01.2021) w MSTeams


Kolokwium odbędzie się 16.01.2021 w czasie laboratorium.

Planowane termin egzaminu: 06.02.2021, 08.00 - 10.00


Wyniki kolokwium: Gr.1 , Gr.2 . Oceny 5 oraz 4+ zwalniają z egzaminu.


Notatki do rozdziału 1

Notatki do rozdziału 2

Notatki do rozdziału 2a

Notatki do rozdziału 3

Notatki do rozdziału 3a

Notatki do rozdziału 4


Literatura:

Ivan Bratko, Prolog - Programming for Artificial Intelligence

Resolution

Resolution

Resolution - original paper by Robinson


SWI-Prolog Hompage


Zadania

Rozwiązania ( Zadanie 8, Zadanie 13 - 15, Zadanie 17 + 18, Zadanie 19 - 21)


Przykładowe kolokwium



Seminarium Programowanie generyczne

Używamy zespół w MSTeams ostatniego roku.



Programowanie deklaratywne

link do spotkania w MSTeams (wtorek, 26.01.2021)

link do spotkania w MSTeams (środa, 27.01.2021)

link do spotkania w MSTeams (piątek, 29.01.2021)


Kolokwia odbędzie się 19.01.2021 i 20.02.2021 w czasie laboratoria.

Planowane termin egzaminu: 02.02.2021, 10.00 - 12.00


Wyniki kolokwium: Gr.1 , Gr.2 . Oceny 5 oraz 4+ zwalniają z egzaminu.


Notatki do rozdziału 1

Notatki do rozdziału 2

Notatki do rozdziału 3

Notatki do rozdziału 4

Notatki do rozdziału 5

Notatki do rozdziału 6


Notatki do rozdziału 1

Notatki do rozdziału 2

Notatki do rozdziału 3


Literatura:

H. Abelson and G.J. Sussman with J. Sussman, Structure and Interpretation of Computer Programs

D.P. Friedman and M. Felleisen, The Little Schemer

Ivan Bratko, Prolog - Programming for Artificial Intelligence


Scheme (Racket) Hompage

SWI-Prolog Hompage


Zadania (Scheme)

Rozwiązania (Scheme) ( Zadanie 22, Zadanie 23, Zadanie 24a, Zadanie 24b, Zadanie 25, Zadanie 25b)


Zadania (Prolog)

Rozwiązania (Prolog) ( Zadanie 10, Zadanie 12 - 14)


Przykładowe kolokwium



Programowanie funkcyjne

link do spotkania w MSTeams (poniedziałek, 18.01.2021)


Kolokwium odbędzie się 18.01.2021 w czasie laboratorium.

Planowane termin egzaminu: 01.02.2021, 10.00 - 12.00


Wyniki kolokwium. Oceny 5 oraz 4+ zwalniają z egzaminu.


Notatki do rozdziału 1

Notatki do rozdziału 2

Notatki do rozdziału 3

Notatki do rozdziału 4

Notatki do rozdziału 4a

Notatki do rozdziału 4b

Notatki do rozdziału 5


Literatura:

Simon Thompson, Haskell - The Craft of Functional Programming

Graham Hutton, Programming in Haskell

H. Conrad Cunningham, Notes on Functional Programming with Haskell

Type Inference

Type Inference - original paper by Milner


Haskel Hompage


Zadania

Rozwiązania ( Zadanie 18-21, Zadanie 24, Zadanie 25, Zadanie 26, Zadanie 27, Zadanie 29, Zadanie 30)


Przykładowe kolokwium



przeszłe zajęcia