Informatyka MIMUW

  • Materiały
Strona główna › Wstęp do programowania - podejście funkcyjne

Wykłady

strict warning: Only variables should be passed by reference in /usr/share/drupal6/modules/book/book.module on line 559.
ndz., 08/28/2011 - 01:39 — kubica

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
‹ Zadanie 4: Sortowanie topologiczne w górę Ćwiczenia ›
  • slajdy do wykładów
  • Wersja do wydruku