Programowanie (M), II UWr, 2013 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 22.02.2013 Definicje indukcyjne, składnia abstrakcyjna 27.02 i 28.02
Lista 2 06.03.2013 Semantyka naturalna języka While 13.03
Lista 3 20.03.2013 Równoważność instrukcji, koindukcja, wyjątki, niedeterminizm, SOS 27.03
Lista 4 10.04.2013 Maszyna abstrakcyjna, modelowa implementacja, wejście/wyjście i bisymulacje 17.04
Lista 5 24.04.2013 Semantyka bloków i procedur 08.05
Lista 6 16.05.2013 Semantyka denotacyjna, elementy teorii dziedzin 22.05
Lista 7 06.06.2013 Specyfikacja i weryfikacja programów, logika Hoare'a 12.06

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