Rakendusliku loogika süvakursus: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
← Vanem muudatusUuem muudatus →
Zingel (arutelu | kaastöö)
127 muudatust
Resümee puudub
Zingel (arutelu | kaastöö)
127 muudatust
Resümee puudub
3. rida: 3. rida:
Kontakt: tiina.zingel@ttu.ee<br><br>
Kontakt: tiina.zingel@ttu.ee<br><br>
==Loengute materjalid. ==
==Loengute materjalid. ==
1. Meeldetuletus lausearvutusest. <br>
# Meeldetuletus lausearvutusest. <br>
2. Meeldetuletus predikaatarvutusest. <br>
# Meeldetuletus predikaatarvutusest. <br>
3. Tuletussüsteemid. <br>
# Tuletussüsteemid. <br>
4. Sekventsarvutus. <br>
# Sekventsarvutus. <br>
5. [[Sissejuhatus automaattõestamisse.]] <br>
# [[Sissejuhatus automaattõestamisse.]] <br>
6. [[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses.]]<br>
##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses(ppt)]]<br>
7. Davis-Putnami meetod. <br>
## Davis-Putnami meetod. <br>

Redaktsioon: 2. märts 2006, kell 00:39

Ainekood: ITV0800
Lektor: Tiina Zingel
Kontakt: tiina.zingel@ttu.ee

Loengute materjalid.

  1. Meeldetuletus lausearvutusest.
  2. Meeldetuletus predikaatarvutusest.
  3. Tuletussüsteemid.
  4. Sekventsarvutus.
  5. Sissejuhatus automaattõestamisse.
    1. Resolutsioonimeetod lausearvutuses(ppt)
    2. Davis-Putnami meetod.
Pärit leheküljelt "http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_süvakursus&oldid=870"