FI:I013 Logické programování I - Informace o předmětu

I013 Logické programování I

Rozsah

2/1. 3 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, z.

Vyučující

prof. RNDr. Luděk Matyska, CSc. (přednášející)

Garance

Kontaktní osoba: prof. RNDr. Luděk Matyska, CSc.

Předpoklady

Vyžaduje se absolvování přednášky I008 Výpočtová logika.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

• Informatika (program FI, B-IN)
• Informatika (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Výpočetní technika (program FI, B-IN)

Osnova

• Logika prvního řádu, Hornovy klauzule a programy, modely, SLD rezoluce.
• Negace, SLDNF rezoluce, stratifikované programy.
• Řízení výpočtu, ořezávání stromu důkazů, řez.
• Prolog, základní programovací techniky, extralogické predikáty, aritmetika.
• Implementace Prologu. Warrenův abstraktní počítač.
• Logické programování a paralelismus, konkurentní systémy (Concurrent Prolog, Parlog, GHC).
• Ploché (flat) paralelní logické jazyky.
• Logické programování s omezujícími podmínkami, kombinatorické úlohy.

Informace učitele

Nektere zakladni informace o predmetu je mozno nalezt pres www stranku prednasejiciho v oddile vyuka. Absolvovalni predmetu I008 je povinne. Vyjimku muze udelit vyucujici, zalezitost vsak s nim musi byt konzultovana pred zacatkem semestru (neplati pro jiz probihajici skolni rok 1996/1997).

• Statistika zápisu (léto 1997, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/leto1997/I013