Wykłady

Slajdy do wykładów:

• 1. Wstęp (wersja klasyczna)
• 1. Wstęp (wersja Agile)
• 2. Podstawy Ocamla
• 3 i 4. Dekompozycja problemu, weryfikacja rozwiazania
• 5 i 6. Struktury danych
• 7. Moduły i bariery abstrakcji
• 8. Procedury wyzszych rzedów jako abstrakcje konstrukcji programistycznych
• 9. Procedury wyzszych rzedów oraz listy i drzewa
• 10 i 11. Model obliczen
• 12 i 13. Analiza kosztów
• 14 i 15. Zasada ,,dziel i rządź'' i analiza złożoności
• 16. Funktory
• 17. Programowanie imperatywne
• 18. Imperatywne wskaźnikowe struktury danych
• 19 i 20. Logika Hoare'a -- dowodzenie poprawności programów imperatywnych
• 21. Przeszukiwanie grafów
• 22. Przeszukiwanie z nawrotami (backtracking)
• 23 i 24. Technika spamiętywania
• 25 i 26. Programowanie zachłanne
• 27. Wyszukiwanie wzorców w tekście
• 28. Tablica sufiksowa