Logické základy umělé inteligence. 2, Formalizace a automatizace dedukce

Get it

Druhý díl skript je věnován modelování dedukce pouze formálními prostředky výrokové a predikátové logiky a jejich modifikací, především logiky klauzulární.

Bibliographic Details

Main Author

Alena Lukasová, 1936-

Other Authors

Ostravská univerzita. Přírodovědecká fakulta

Document Type

Books

Physical Description

163 s. ; 30 cm

Published

Ostrava : Ostravská univerzita, 1997

Edition

Vyd. 1.

Series

Učební texty Ostravské univerzity

Subjects

umělá inteligence

formální logika

formální dedukce

učebnice vysokých škol

Item Description

Určeno stud. učit. i neučit. studia informatiky. - Bibliogr.

ISBN

80-7042-745-0

Suggest for digitization

Suggest for digitization