Programowanie (M), II UWr, 2012 Dom Rozkład Literatura Zasoby Zadania

Programowanie (M)

Prace domowe

  • Prace domowe stanowią listy zadań ilustrujących zagadnienia omawiane w ramach wykładu.
  • Listy zadań ogłaszane są z mniej więcej tygodniowym wyprzedzeniem w stosunku do ćwiczeń, na których są one omawiane.
  • W kwestiach formalnych dotyczących deklaracji rozwiązań obowiązuje regulamin z przedmiotu Programowanie (L).
  • Na ćwiczeniach należy zgłaszać rozwiązanie tylko i wyłącznie tych zadań, które potrafi się w pełni rozwiązać demonstrując przy tym znajomość teorii wokół danego zagadnienia.
  • Należy starać się rozwiązać jak najwięcej zadań samodzielnie.
  • Nie mamy nic przeciwko współpracy studentów w małych grupach na etapie rozwiązywania poszczególnych zadań, ale wynikiem końcowym takiej współpracy powinna być umiejętność samodzielnego rozwiązania danego zadania i podobnych przez wszystkich członków grupy.
  • Namawiamy do konsultacji z prowadzącymi zajęcia.

Listy zadań

Lista nr Ogłoszona Zadania Na kiedy
Lista 1 08.02.2012 Definicje indukcyjne 14.02 i 16.02
Lista 2 29.02.2012 Semantyka naturalna języka While 06.03 i 08.03
Lista 3 14.03.2012 Rozszerzenia języka While + SOS 20.03 i 22.03
Lista 4 28.03.2012 Strukturalna semantyka operacyjna 03.04 i 05.04
Lista 5 17.04.2012 Maszyna abstrakcyjna i wirtualna 24.04 i 26.04
Lista 6 27.04.2012 Semantyka bloków i procedur 08.05 i 10.05
Lista 7 15.05.2012 Aksjomatyczna weryfikacja programów 22.05 i 24.05

Oceny z ćwiczeń

% punktów 0 - 49 50 - 58 59 - 67 68 - 76 77 - 85 86 - 100
ocena 2 3 3+ 4 4+ 5
http://www.ii.uni.wroc.pl/~dabi