Záznamy prednášok (slajdy) pre kurz 1-AIN-625 Úvod do matematickej logiky pre programátorov ZS 2011/12

Prednášky

• 1. prednáška
• 2. prednáška
• 3. prednáška
• 4. prednáška
• 5. prednáška
• 6. prednáška
• 7. prednáška
• 8. prednáška
• 9. prednáška
• 10. prednáška
• 11. prednáška
• 12. prednáška