Systém pro logickou dedukci
Loading...
Downloads
Date issued
Authors
Krchňák, Jan
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoká škola báňská - Technická univerzita Ostrava
Location
ÚK/Sklad diplomových prací
Signature
200600228
Abstract
Description
Import 21/09/2006
Subject(s)
predikátová logika prvního řádu, obecná rezoluční metoda, přirozená dedukce, Robinsonův unifikační algoritmus, Scolemova normální forma, prenexní tvar, automatické odvozování logických důsledků, matematická logika