Logicheskij processor : Mehanizaciya logicheskih operacij

ISBN-13: 9783659438714 / Rosyjski / Miękka / 2015 / 212 str.

Sergej Popov; Nikolaj Volchenkov

Opis

Logicheskij processor predstavlyaet soboj ustrojstvo, prednaznachennoe dlya resheniya perebornyh zadach, sformulirovannyh na propozicional'nom yazyke. Odnako, primenenie ego gorazdo shire, nezheli reshenie zanimatel'nyh logicheskih zadach. On s uspehom pozvolyaet reshat' soderzhatel'nye zadachi perebornogo haraktera, iskat' dokazatel'stva ili oproverzheniya, nahodit' marshruty dlya avtonomno rabotajushhih ustrojstv i pr. Glubokoe rasparallelivaniem operacij za schet ispol'zovaniya matrichnogo predstavleniya logicheskih vyrazhenij daet vozmozhnost' nahodit' resheniya dlya zadach s bol'shim chislom parametrov. Logicheskij processor predstavlen v vide shemy na LabVIEW s intuitivno ponyatnym interfejsom.

O autorze

Okonchil Moskovskij inzhenerno-fizicheskij institut po special'nosti Prikladnaya matematika. Oblast' interesov: matematiki, logika, informatika, programmirovanie, filosofiya, psihologiya.