Nazwa przykładowego przedmiotu: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
mNie podano opisu zmian |
|||
| (Nie pokazano 17 wersji utworzonych przez 3 użytkowników) | |||
| Linia 1: | Linia 1: | ||
(forma zajęć: wykład + ćwiczenia, wykład+laboratorium, wykład, laboratorium) | |||
== Opis == | |||
treść opisu | |||
== Sylabus == | == Sylabus == | ||
Autor sylabusa | |||
prof. dr hab. Andrzej Tarlecki | |||
tarlecki@mimuw.edu.pl | |||
Nazwa zajęć: | |||
Semantyka i weryfikacja programów | |||
Typ zajęć: | |||
wykład (30 godz.) + ćwiczenia (30 godz.) | |||
Wymagania wstępne: | |||
Wstęp do programowania | |||
Wstęp do teorii mnogości i logiki | |||
Sylabus: | |||
* Formalny opis języków programowania | |||
* Operacyjne i denotacyjne metody definiowania semantyki programów | |||
* Semantyczne definicje podstawowych konstrukcji programistycznych | |||
* Matematyczne podstawy semantyki denotacyjnej | |||
* Pojęcia poprawności programów: poprawność częściowa i całkowita | |||
* Metody dowodzenia poprawności programów | |||
* Logika Hoare'a, jej wykorzystanie i własności formalne | |||
* Systematyczne konstruowanie poprawnych programów | |||
=== Literatura === | |||
# P. Dembiński, J. Mańuszynski. Matematyczne metody definiowania języków programowania. WNT, 1981. | |||
# M. Gordon. Denotacyjny opis językęw programowania. WNT, 1983. | |||
# D. Gries. The Science of Programming. Springer-Verlag, 1981. | |||
# E. Dijkstra. Umiejętność programowania. WNT, 1978. | |||
== Moduły == | == Moduły == | ||
* [[Przykładowy Moduł Wykład| | * [[Przykładowy Moduł Wykład|Temat modułu pierwszego - wykład]] ([[Przykładowy Moduł Ćwiczenia|Temat modułu pierwszego propozycja ćwiczeń]]) | ||
* [[Przykładowy Moduł Wykład| | * [[Przykładowy Moduł Wykład|Temat modułu drugiego - wykład]] ([[Przykładowy Moduł Ćwiczenia|Temat modułu drugiego propozycja ćwiczeń]]) | ||
* [[Przykładowy Moduł Wykład|Temat modułu 3 - wykład]] ([[Przykładowy Moduł Ćwiczenia|Temat modułu 3 propozycja ćwiczeń]]) | |||
* [[Przykładowy Moduł Wykład| | * [[Przykładowy Moduł Wykład|Temat modułu 4 - wykład]] ([[Przykładowy Moduł Ćwiczenia|Temat modułu 4 propozycja ćwiczeń]]) | ||
* [[Przykładowy Moduł Wykład|Temat modułu 5 - wykład]] ([[Przykładowy Moduł Ćwiczenia|Temat modułu 5 propozycja ćwiczeń]]) | |||
* [[Przykładowy Moduł Wykład|Temat modułu 6 - wykład]] ([[Przykładowy Moduł Ćwiczenia|Temat modułu 6 propozycja ćwiczeń]]) | |||
* [[Przykładowy Moduł Wykład|Temat modułu 7 - wykład]] ([[Przykładowy Moduł Ćwiczenia|Temat modułu 7 propozycja ćwiczeń]]) | |||
* [[Przykładowy Moduł Wykład|Temat modułu 8 - wykład]] ([[Przykładowy Moduł Ćwiczenia|Temat modułu 8 propozycja ćwiczeń]]) | |||
* [[Przykładowy Moduł Wykład|Temat modułu 9 - wykład]] ([[Przykładowy Moduł Ćwiczenia|Temat modułu 9 propozycja ćwiczeń]]) | |||
* [[Przykładowy Moduł Wykład|Temat modułu 10 - wykład]] ([[Przykładowy Moduł Ćwiczenia|Temat modułu 10 propozycja ćwiczeń]]) | |||
* [[Przykładowy Moduł Wykład|Temat modułu 11 - wykład]] ([[Przykładowy Moduł Ćwiczenia|Temat modułu 11 propozycja ćwiczeń]]) | |||
* [[Przykładowy Moduł Wykład|Temat modułu 12 - wykład]] ([[Przykładowy Moduł Ćwiczenia|Temat modułu 12 propozycja ćwiczeń]]) | |||
* [[Przykładowy Moduł Wykład|Temat modułu 13 - wykład]] ([[Przykładowy Moduł Ćwiczenia|Temat modułu 13 propozycja ćwiczeń]]) | |||
* [[Przykładowy Moduł Wykład|Temat modułu 14 - wykład]] ([[Przykładowy Moduł Ćwiczenia|Temat modułu 14 propozycja ćwiczeń]]) | |||
* [[Przykładowy Moduł Wykład|Temat modułu piętnastego - wykład]] ([[Przykładowy Moduł Ćwiczenia|Temat modułu piętnastego propozycja ćwiczeń]]) | |||
== Literatura uzupełniająca == | |||
# Pozycja pierwsza | |||
# Pozycja druga | |||
== Autorzy opracowania == | |||
# Autor pierwszy | |||
# Autor drugi | |||
Aktualna wersja na dzień 16:55, 8 cze 2006
(forma zajęć: wykład + ćwiczenia, wykład+laboratorium, wykład, laboratorium)
Opis
treść opisu
Sylabus
Autor sylabusa
prof. dr hab. Andrzej Tarlecki tarlecki@mimuw.edu.pl
Nazwa zajęć:
Semantyka i weryfikacja programów
Typ zajęć:
wykład (30 godz.) + ćwiczenia (30 godz.)
Wymagania wstępne:
Wstęp do programowania Wstęp do teorii mnogości i logiki
Sylabus:
- Formalny opis języków programowania
- Operacyjne i denotacyjne metody definiowania semantyki programów
- Semantyczne definicje podstawowych konstrukcji programistycznych
- Matematyczne podstawy semantyki denotacyjnej
- Pojęcia poprawności programów: poprawność częściowa i całkowita
- Metody dowodzenia poprawności programów
- Logika Hoare'a, jej wykorzystanie i własności formalne
- Systematyczne konstruowanie poprawnych programów
Literatura
- P. Dembiński, J. Mańuszynski. Matematyczne metody definiowania języków programowania. WNT, 1981.
- M. Gordon. Denotacyjny opis językęw programowania. WNT, 1983.
- D. Gries. The Science of Programming. Springer-Verlag, 1981.
- E. Dijkstra. Umiejętność programowania. WNT, 1978.
Moduły
- Temat modułu pierwszego - wykład (Temat modułu pierwszego propozycja ćwiczeń)
- Temat modułu drugiego - wykład (Temat modułu drugiego propozycja ćwiczeń)
- Temat modułu 3 - wykład (Temat modułu 3 propozycja ćwiczeń)
- Temat modułu 4 - wykład (Temat modułu 4 propozycja ćwiczeń)
- Temat modułu 5 - wykład (Temat modułu 5 propozycja ćwiczeń)
- Temat modułu 6 - wykład (Temat modułu 6 propozycja ćwiczeń)
- Temat modułu 7 - wykład (Temat modułu 7 propozycja ćwiczeń)
- Temat modułu 8 - wykład (Temat modułu 8 propozycja ćwiczeń)
- Temat modułu 9 - wykład (Temat modułu 9 propozycja ćwiczeń)
- Temat modułu 10 - wykład (Temat modułu 10 propozycja ćwiczeń)
- Temat modułu 11 - wykład (Temat modułu 11 propozycja ćwiczeń)
- Temat modułu 12 - wykład (Temat modułu 12 propozycja ćwiczeń)
- Temat modułu 13 - wykład (Temat modułu 13 propozycja ćwiczeń)
- Temat modułu 14 - wykład (Temat modułu 14 propozycja ćwiczeń)
- Temat modułu piętnastego - wykład (Temat modułu piętnastego propozycja ćwiczeń)
Literatura uzupełniająca
- Pozycja pierwsza
- Pozycja druga
Autorzy opracowania
- Autor pierwszy
- Autor drugi
