книги Наука, техника, медицина Естественные науки Точные науки Физика Другие издания по физике

Н. Л. Брошкова Сергей Попов

Прикладная логика

Код 1533774

ISBN: 978-5-9221-1340-3
216 страниц

сентябрь 2011
Физматлит

Бумажная книга

5.68 USD

Добавить в корзину

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 29.04.2024; планируемая отправка: 30.04.2024

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 02.05.2024; планируемая отправка: 03.05.2024

Аннотация к книге "Прикладная логика"

Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический - установление выполнимости логических функций - и синтаксический - построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление...

Оставить замечание о найденной опечатке Версия для печати