Programen egiaztapena eta eratorpena

AURKIBIDEA

SARRERA

1. Gaia. ESPEZIFIKAZIOA

1. Zer da espezifikazioa
2. Zertarakoak
3. Espezifikazio-lengoaiak
1. Espezifikazio ez-formalak
2. Aurre-ondoetako espezifikazio formala
4. Ariketak

2. Gaia. DATU-MOTEN TRATAMENDU FORMALA

1. SET (Multzoa)
2. ARRAY
3. RECORD (Erregistroa)
4. FILE (Fitxategia)

3. Gaia. LEHEN MAILAKO LOGIKAREN LENGOAIA

1. Lengoaiaren sintaxia
2. Lengoaiaren semantika
3. Ariketak

4. Gaia. PROGRAMEN ZUZENTASUNA

1. Testak
2. Egiaztapena
1. Semantika axiomatikoa eta frogapen formalak
2. Hoare-ren sistema formala
• 
  
3. Ariketak
4. Ariketak
5. Ariketak
6. Ariketak

5. Gaia. PROGRAMA-ERATORPEN FORMALA

1. Metodoaren filosofia, interesgarritasuna eta mugak
2. WP predikatu-transformatzailea
3. Sekuentzi konposaketa
4. Ariketak
5. Ariketak

6. Gaia. ALGORITMO ERREKURTSIBOAK

1. Indukzio estrukturala
2. Algoritmo errekurtsibo zuzenen diseinua
3. Argitasun/eraginkortasun erlazioa errekurtsioaren erabileran
4. Ariketak
5. Burstall-en metodoa
6. Ariketak