Úvod do matematickej logiky pre programátorov
Z Matfyz.sk
- Kód predmetu: 1-AIN-625
- Rozsah: K4
- Kredity: 6
- Prednášajúci: Ing. Ján Komara
- Cvičiaci: Ing. Ján Komara
Obsah |
[úprava] Úvod
Tento predmet má svojho dvojníka aj v osnovách informatikov, avšak pod názvom Logika pre informatikov.
[úprava] Obsah predmetu
Primitívna rekurzia, spätná rekurzia, rekurzia s mierou, čiastočne rekurzívne funkcie, obecne rekurzívne funkcie...
[úprava] Priebeh
Predmet pozostáva z prednášky a cvičenia. Na prednáške sú vysvetlené témy, ktoré sa cvičia na cvičení. Keďže na cvičeniach sa programuje v CL, je dobré ak ste sa sním už stretli, napr. na predmete Úvod do deklaratívneho programovania. Ak nie, tak na začiatku je venovaný krátky čas na osvojenie si tohto prostredia, no rozhodne sa oplatí mať nejaké znalosti CL už pred týmto predmetom.
[úprava] Hodnotenie
Hodnotia sa cvičenia rôznym počtom bodov. Netreba to však všetko na cvičeniach stihnúť, stačí to odovzdať do určitého termínu ako domácu úlohu. Počas semestra sa píše jeden test. Medzi úlohami, z ktorých pozostáva cvičenie sú rozptýlené aj takzvané prémiové úlohy, ktoré sa pripočítajú k bodom, ktoré ste získali na teste. A potom už je len ústna skúška na záver.
[úprava] Odporúčanie
Aj napriek ústretovému hodnoteniu nie je ľahké tento predmet spraviť. Svojim obsahom sa zaraďuje určite medzi tie ťažšie.
[úprava] Odkazy
--El2enka 15:47, 19. december 2008 (CET)
