Rozwiazania niektorych zadan

Materialy z wykladu nadal beda uzupelniane. Przygotowywane sa informacje o twierdzeniu Schulza, wyjasnienia dotyczace zad. 3 z listy 3 itp. Beda  w wiekszosci uzupelniac wyklad.

Wstepna informacja o wykładzie

• O wykladzie
• Twierdzenie o defekcie
• Lista zadan 1
• Twierdzenie Hilberta
• Skonczonosc ukladow niezaleznych, automaty
• Lista zadan 2
• Obliczalnosc pewnych zbiorów
• Hipoteza Ehrenfeuhta, porównywanie równan, graf zwiazany z równaniami
• Lista zadan 3
• Rozwiazania glowne, informacja o pracy Chmielewskiego
• Algorytm Chmielewskiego, czesc I
• Algorytm Chmielewskiego, czesc II
• Lista zadan 4
• Algorytm Chmielewskiego, czesc III
• Dodatkowa lista zadan, uzupelniona
• O rownaniach wykladniczych 
• Nieparametryzowalnosc
• Zlozonosc
• Algorytm Makanina  (uzupelniony)
• Teksty wykorzystane podczas wykladu