Ishodi učenja

 Ishodi učenja za matematičku logiku:

  1. Poznavanje povijesnog razvoja matematičke logike (uloga Aristotela, Boole-a, De Morgana)

  2. Razumijevanje pojma suda, operacija među sudovima, njihovih semantičkih tablica, te osnnovnih operacija algebre sudova uključujući i njihovo dokazivanje pomoću semantičkih tablica.

  3. Zaključivanje o vrstama dokaza u matematici (direktni dokaz, niz ekvivalentnih tvrdnji, dokaz po kontrapoziciji, protuprimjer, matematička indukcija) i načinu njihove primjene. Identificiranje pojedinih vrsta dokaza na konkretnim slučajevima, njihova analiza i usporedba.

  4. Razumijevanje odnosa hipoteze i teorema.

  5. Primjenjivanje svojstava operacija na minimiziranje formula algebre sudova.

  6. Definiranje i računanje normalnih formi te njihova primjena u minimizaciji formula algebre sudova.

  7. Uspoređivanje i povezivanje operacija algebre sudova i algebre skupova te upotreba uočenih korespondencija u grafičkom prikazu minimizacije (Veitchova metoda).

  8. Definiranje i određivanje tautologija i kontradikcija pomoću semantičkih tablica i pomoću svojstava sudova.

  9. Prikazivanje minimiziranih formi pomoću logičkih sklopova.

  10. Razumijevanje definicija predikata i kvantifikatora te njihova primjena na jednostavnije zadatke matematičke logike.

  11. Uočavanje sličnosti i razlika govornog jezika i rečenica u matematičkoj logici i transformiranje iz jednog sustava u drugi. Primjena naučenog na pravilno izricanje matematičkih tvrdnji (teorema i sl.)

  12. Prikupljanje i interpretacija relevantnih podataka iz područja matematičke logike, te njihovo pismeno komuniciranje u kratkoj formi (2 stranice) uz točno navođenje izvora i formuliranje zaključka.

Zadnji puta izmijenjeno: Tuesday, 3. June 2014., 00:14