Laboratorium z systemu Coq 2009                             

1. Zapoznanie sie z systemem, podstawowe komendy, taktyki...

wreczalt         cwiczenia1         przykladowe rozwiazania
 
 cdn...

2. Wstep do definicji indukcyjnych

3. Definicje indukcyjne (c.d.)

4. Definicje indukcyjne - dowodzenie przez indukcje

5. Szachownica

6.Zadania rozne

7. Selection sort - zadanie na uzycie taktyki Program

8. Zadanie zaliczeniowe: jezyk slow w ktorych liczba a jest rowna liczbie b