II
[[
programowanie
]]
Ślad:
»
systemy_operacyjne
»
algebra
»
ccna
»
programowanie
Spis treści
Programowanie
Listy (2010)
Materiały (2010)
Listy (2009)
Materiały (2009)
Składnia i parsowanie
Semantyka operacyjna
Podstawy programowania w języku Haskell I
Podstawy programowania w języku Haskell III
Semantyka algebraiczna I
Materiały (inne)
Egzaminy
Dyskusja
Programowanie
Prowadzący
Tomasz Wierzbicki
Strona przedmiotu
www
Liczba punktów ECTS
9 (L) / 12 (M)
Typ przedmiotu
obowiązkowy.O2 (obowiązkowy)
Zamienniki
Metody translacji
,
Teoretyczne podstawy języków programowania
Programowanie
Listy (2010)
Lista 2:
Licencjacka
.
Rozwiązania
.
Magisterska
.
Rozwiązania
.
Lista 3:
Licencjacka
.
Rozwiązania
.
Magisterska
.
Rozwiązania
.
Lista 4:
Licencjacka
.
Rozwiązania
.
Magisterska
.
Rozwiązania
.
Lista 5:
Licencjacka
.
Rozwiązania
.
Magisterska
.
Rozwiązania
.
Lista 6:
Licencjacka
.
Magisterska
.
Lista 7:
Licencjacka
.
Magisterska
.
Materiały (2010)
Logic, Programming and Prolog, Ulf Nilsson and Jan Małuszynski
. Rozdziały 1-3 to treść obowiązkowa dla grup M (patrz slajdy z wykładu 1M).
Listy (2009)
Lista 1
Lista 2
Lista 3
Lista 4
Lista 5
Lista 6
Lista 7
Lista 8
Lista 9
Lista 10
Lista 11
Lista 12
Lista 13
Lista 14
Lista 15
Materiały (2009)
Składnia i parsowanie
Składnia języków programowania
Semantyka operacyjna
Gordon Plotkin: A Structural Approach to Operational Semantics
Gilles Kahn: Natural semantics
Podstawy programowania w języku Haskell I
Uwagi o stylu programowania
Podstawy programowania w języku Haskell III
Slajdy z wykładu o monadach
Semantyka algebraiczna I
Antoni Kościelski: Notatki o algebrach początkowych
Stanley Burris and Karen Yeats: The Saga of the High School Identities
Materiały (inne)
Skrypt TWI
(2001)
Notatki do wykładu Mateusza Styrczuli
(2008)
Notatki 2010 Telcontara
http://marek1210.fm.interia.pl/notes-prog.txt
Egzaminy
Egzamin - część zasadnicza
(2009),
przykładowe rozwiązania
Egzamin - część rozszerzona
(2009),
przykładowe rozwiązanie zad. 3
Egzamin poprawkowy - część zasadnicza
(2009),
przykładowe rozwiązania
Egzamin poprawkowy - część rozszerzona
(2009)
Egzaminy od 1998r.
przedmioty obowiazkowe
,
lato 2009
,
lato 2010
programowanie.txt · ostatnio zmienione: 2010/07/08 21:48 przez alistra
Wszystkie treści w tym wiki, którym nie przyporządkowano licencji, podlegają licencji:
MIT License