{{template>template:przedmiot|tytul=Programowanie|prowadzacy=Tomasz Wierzbicki|www=|ects=9 (L) / 12 (M)|typ=obowiązkowy.O2 (obowiązkowy)|extra=\|Zamienniki\|[[Metody translacji]], \\ [[Teoretyczne podstawy języków programowania]]\|}}

====== Programowanie ====== 
===== Listy (2010) =====

  * Lista 2: 
    * {{:programowanie:10.listaL02.pdf|Licencjacka}}. [[programowanie:lista2l|Rozwiązania]].
    * {{:programowanie:10.listaM02.pdf|Magisterska}}. [[programowanie:lista2m|Rozwiązania]].
  * Lista 3: 
    * {{:lista3.pdf|Licencjacka}} . [[programowanie:lista3l|Rozwiązania]].
    * {{:lista3r.pdf|Magisterska}}. [[programowanie:lista3m|Rozwiązania]].
  * Lista 4: 
    * {{:lista4.pdf|Licencjacka}} . [[programowanie:lista4l|Rozwiązania]].
    * {{:lista4r.pdf|Magisterska}}. [[programowanie:lista4m|Rozwiązania]].
  * Lista 5: 
    * {{:lista5.pdf|Licencjacka}} . [[programowanie:lista5l|Rozwiązania]].
    * {{:lista5r.pdf|Magisterska}}. [[programowanie:lista5m|Rozwiązania]].
  * Lista 6:
    * {{:programowanie:lista6.pdf|Licencjacka}}.
    * {{:programowanie:lista6r.pdf|Magisterska}}. 
  * Lista 7:
    * {{:programowanie:lista7.pdf|Licencjacka}}.
    * {{:programowanie:lista7r.pdf|Magisterska}}.

===== Materiały (2010) =====

  * [[http://www.ida.liu.se/~ulfni/lpp/|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) =====

  * {{:programowanie:2009:lista1.pdf|Lista 1}}
  * {{:programowanie:2009:lista2.pdf|Lista 2}}
  * {{:programowanie:2009:lista3.pdf|Lista 3}}
  * {{:programowanie:2009:lista4.pdf|Lista 4}}
  * {{:programowanie:2009:lista5.pdf|Lista 5}}
  * {{:programowanie:2009:lista6.pdf|Lista 6}}
  * {{:programowanie:2009:lista7.pdf|Lista 7}}
  * {{:programowanie:2009:lista8.pdf|Lista 8}}
  * {{:programowanie:2009:lista9.pdf|Lista 9}}
  * {{:programowanie:2009:lista10.pdf|Lista 10}}
  * {{:programowanie:2009:lista11.pdf|Lista 11}}
  * {{:programowanie:2009:lista12.pdf|Lista 12}}
  * {{:programowanie:2009:lista13.pdf|Lista 13}}
  * {{:programowanie:2009:lista14.pdf|Lista 14}}
  * {{:programowanie:2009:lista15.pdf|Lista 15}}
 
===== Materiały (2009) =====
==== Składnia i parsowanie ==== 
  * {{:programowanie:2009:skladnia.pdf|Składnia języków programowania}}

==== Semantyka operacyjna ====
  * {{:programowanie:2009:sos_jlap.pdf|Gordon Plotkin: A Structural Approach to Operational Semantics}}
  * {{:programowanie:2009:rr-0601.pdf|Gilles Kahn: Natural semantics}}

==== Podstawy programowania w języku Haskell I ===
  * {{:programowanie:2009:ostylu.pdf|Uwagi o stylu programowania}}

==== Podstawy programowania w języku Haskell III ===
  * {{:programowanie:2009:wyklad09042009.pdf|Slajdy z wykładu o monadach}}

==== Semantyka algebraiczna I ====
  * {{:programowanie:2009:alg-og-2.pdf|Antoni Kościelski: Notatki o algebrach początkowych}}
  * {{:programowanie:2009:saga.ps|Stanley Burris and Karen Yeats: The Saga of the High School Identities}}

===== Materiały (inne) =====
  * {{:programowanie:skrypt-twi.pdf|Skrypt TWI}} (2001)
  * {{:programowanie:prog2008.pdf|Notatki do wykładu Mateusza Styrczuli}} (2008)
  * Notatki 2010 Telcontara [[http://marek1210.fm.interia.pl/notes-prog.txt]]

===== Egzaminy =====
  * {{:programowanie:2009:egzlic.pdf|Egzamin - część zasadnicza}} (2009), {{:programowanie:2009:lic-1-rozw.pdf|przykładowe rozwiązania}}
  * {{:programowanie:2009:egzmag.pdf|Egzamin - część rozszerzona}} (2009), {{:programowanie:2009:rozwmag3.pdf|przykładowe rozwiązanie zad. 3}}
  * {{:programowanie:2009:popregzlic.pdf|Egzamin poprawkowy - część zasadnicza}} (2009), {{:programowanie:2009:poprlicrozw.pdf|przykładowe rozwiązania}}
  * {{:programowanie:2009:popregzmag.pdf|Egzamin poprawkowy - część rozszerzona}} (2009)
  * {{:programowanie:egzaminy.tar.gz|Egzaminy od 1998r.}}

{{tag>przedmioty_obowiazkowe lato_2009 lato_2010}}