Основной контент книги Прикладная логика
Text PDF
Volume 214 pages
2011 year
Прикладная логика
$4.93
About the book
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и синтаксический – построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и... Next
Log in, to rate the book and leave a review
Book С. В. Попова, Н. Л. Брошковой «Прикладная логика» — download in pdf or read online. Leave comments and reviews, vote for your favorites.
Age restriction:
0+Release date on Litres:
05 July 2013Writing date:
2011Volume:
214 p. ISBN:
978-5-9221-1340-3Total size:
3.8 МБTotal number of pages:
214Copyright holder:
Издательская фирма "Физико-математическая литература"Download format: