2016/17-es 1. félévi MINTA!

• 01. hét: Gyakorlati aláíráshoz szükséges követelmények megbeszélése;
  Ismétlés: halmazok; Descartes-szorzat (Halmazok, Relációk)
   
• 02. hét: Kisdolgozat1 (Descartes szorzat) Halmazok és a logika;
  Relációk és tulajdonságaik (Halmazok2)
   
• 03. hét: Kisdolgozat2 (Relációk, induktív definíció, minta), 
  Felelés (nulladrendű nyelv, Form, részformula) Logika;
  Nulladrend (Logika, Nulladrend)
   
• 04. hét: Kisdolgozat3 (Nulladrend, minta), Felelés (L(0), Form,
  RF, KRF, szerkezeti fa, centrális fogalmak) Nulladrend - részformulák,
  szerkezeti fa, igazságtáblázatok
   
• 05. hét: Kisdolgozat4 (Elméleti, lista), Felelés (eddigi fogalmak)
  Nulladrend - centrális fogalmak (Centrális)
   
• 06. hét: Gyakorlás, funktorok; zárthelyi a héten
   
• 07. hét: Az eddigi tapasztalatok áttekintése; zárójelezés
   
• 08. hét: Kisdolgozat5 (ELMÉLETI! a természetes levezetés szabályai)
  Zárójelezés; DNF, KNF; Természetes levezetés
   
• 09. hét: Kisdolgozat6 (zárójelelhagyás, teljesen zárójelezett alak, prezi)
  Természetes levezetés
   
• 10. hét: Kisdolgozat7 (DNF, KNF, prezi) Természetes levezetés
   
• 11. hét: Igazságtáblák felmérés, Elsőrend - RF, KRF, szerkezeti fa,
  kvantor hatáskör, szabad, kötött változók halmaza, kötöttségi viszonyok,
  változótiszta alak
   
• 12. hét: Kisdolgozat8 (formalizálás, helyes-e a következtetés? feladatok)
  Elsőrend - prenex alakra hozás, kongruencia, formalizálások, behelyettesítések
   
• 13. hét: második zárthelyi