Formalni modely vypoctu

• Prezetace k 1.prednasce
• Prezetace k 2.prednasce
• Prezetace k 3.prednasce
• Prezetace k 4.prednasce
• Prezetace k 5.prednasce
• Prezetace k 6.prednasce
• Prezetace k 7.prednasce
• Prezetace k 8.prednasce
• Prezetace k 9.prednasce
• Prezetace k 10.prednasce
• 24.4. Zapoctovy test, vysledky