Funkcionálne a logické programovanie |
Teória funkcionálneho a logického programovania | Funkcionálne a logické programovanie |
"Veľkej knihe vesmíru porozumie iba ten,
kto sa najprv naučí porozumieť jej jazyku a abecede,
v ktorej bola zostavená.
Bola napísaná v jazyku matematiky."
-- Rene Descartes
|
"And what is truth?
Is truth unchanging law?
We both have truths
Are mine the same as yours?"
-- Pontius Pilate, In: Jesus Christ Superstar
|
|
FLT: Teória funkcionálneho a logického programovania
Poznámky z prednášok
Poznámky z prednášok z KMI/FLT1a (zimný semester 3.
ročníka FLP a niektorých učiteľských kombinácií) v akademickom roku 2002/2003 vo
formáte PDF.
Materiál bol vytvorený pre interné potreby študentov Prírodovedeckej fakulty
UPJŠ v Košiciach. Každé použitie tohto materiálu - okrem použitia pre osobnú
potrebu - mimo pôdy univerzity je potrebné oznámiť prednášajúcemu alebo zostavovateľom.
Obsah materiálu:
- o teóriách a modeloch
- výrokový počet - silná koreknosť výrokového počtu,
veta o dedukcii, niektoré vety výrokového počtu,
ohodnotenie a dokázateľnost (Postova lema), úplnosť výrokového počtu
- predikátový počet - niektoré vety predikátového počtu,
veta o dedukcii, veta o konštatách, konzervatívne rozšírenie teórie,
Lindenbaumova veta, henkinovské rozšírenie teórie, úplnosť predikátového
počtu
PDF súbor (27. feb. 2003)
PDF súbor - dve stránky na A4 - verzia pre tlač a zviazanie
FLP: Funkcionálne a logické programovanie
Poznámky z prednášok
Poznámky z prednášok z KMI/FLP1a (letný semester 2.
ročníka FLP a niektorých učiteľských kombinácií) z akademických rokov 2001/2002
a 2002/2003 vo formáte PDF.
Materiál bol vytvorený pre interné potreby študentov Prírodovedeckej fakulty
UPJŠ v Košiciach. Každé použitie tohto materiálu - okrem použitia pre osobnú
potrebu - mimo pôdy univerzity je potrebné oznámiť prednášajúcemu alebo zostavovateľom.
PDF súbor (verzia 10. 6. 2003 -- X2)
Poďakovanie za odbornú korektúru vo verzii X2
patrí Mariánovi Dvorskému.
Obsah materiálu:
- Teória množín - množiny, relácie a zobrazenia, ordinálne čísla a stromy,
- Výrokový počet - základné definície, ohodnotenie výrokov, tautológie,
dôkaz a dokázateľnosť vo výrokovom počte, korektnosť výrokového počtu.
- Predikátový počet - syntax a sémantika predikátového počtu, voľný a
viazaný výskyt premennej, štruktúry jazyka, ohodnotenie premenných,
substituovateľnosť, axiómy predikátového počtu, dôkaz a dokázateľnosť v
predikátovom počte, korektnosť predikátového počtu.
Vzorové príklady zo skúšky pre informatikov
Záujemcovia sa môžu oboznámiť so vzorovými príkladmi skúšky v zimnom semestri,
ktoré sa vyskytli v akademickom roku 2001/2002. Súbory sú vo formáte PDF
skomprimované v archíve ZIP.
|