Kolegové a kolegyně, obecné informace o přednášce Programování I (vztahující se k oběma skupinám) najdete na stránce kolegy Kryla. Jelikož informace platí pro obě skupiny, bylo by kontraproduktivní zveřejňovat je dvakrát.

Obsah přednášek:

1. října:

• Organizační informace, informace o zápočtu a technických aspektech (účty, které si je třeba zařídit), informace o Praktiku z programování
• Pojem algoritmu, správnost algoritmu a způsob dokazování správnosti.
• Příklady algoritmů: Eukleidův algoritmus (s důkazem správnosti), magické čtverce lichého řádu (bez důkazu správnosti), Stabilní párování (zformulován problém, zbytek ponechán k rozmyšlení). Promítané slidy si můžete stáhnout. K Eukleidovu algoritmu si můžete prohlédnout animace verze s rozdílem a se zbytkem po dělení. Příklady jsou ovšem psány v pseudokódu připomínajícím Pascal, který vám nemusí být v tuto chvíli ještě zcela srozumitelný!

8. říjn:
Stabilni parovani vysvetlene, prohledavani grafu do hloubky a s navratem. Slidy.

15. října:
Tvorba programů v Pascalu. Vzhled programu v Pascalu, prostřední Borland Pascalu. Definice konstant a proměnných.
Slidy.

22. října: Tvorba programů v Pascalu - příklady, pole. Algoritmy a složitost (definice složitosti v nejhorším případě). Definice O, Omega a Theta. Slidy.

29. října

• Poznámky se složitosti, složitost v nejhorším, nejlepším a průměrném případě, amortizovaná složitost, složitost problému.
• Vyhledávání v poli (nesetříděném a setříděném).
• Funkce, jejich definice a volání v Pascalu. Předání parametru hodnotou a referencí.Slidy.

5. listopadu

• Definice procedur, globální a lokální proměnné.
• Rekurze (příklady úředníci, faktoriál).
• Slidy.

12. listopadu
Hornerovo schema, rekurze (prednasejici jde do poslucharny, problem batohu reseny rekurzi). Slidy.

19. listopadu
Vyctove datove typy, case...of..., fronta a zasobnik. Slidy. Priklady, ktere jsem ukazoval.

26. listopadu
Direktivy prekladace, textove soubory, struktury (datovy typ record), zacali jsme s tridicimi algoritmy (viz pristi slidy). Slidy. Priklady, ktere jsem ukazoval.

3. prosince
Nektere tridici algoritmy: bubblesort, selectsort, insertsort, quicksort, jednotky (oddeleny preklad). Slidy. Priklady, ktere jsem ukazoval.

10. prosince
Damy na sachovnici, dominance, nezavislost a pouziti rekurze k jejich reseni, pocet korektnich uzavorkovani. Slidy. Priklady, ktere jsem ukazoval.

17. prosince
Aritmeticke vyrazy, notace a prevody mezi nimi, grafy a jejich reprezentace. Slidy. Priklady, ktere jsem ukazoval.

7. ledna: Dlouha cisla, grafy a jejich reprezentace, vybrane grafove algoritmy. Slidy.