Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9785922113403

Книга ISBN13 9785922113403 - Прикладная логика (С. В. Попов, Н. Л. Брошкова) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Прикладная логика
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический - установление выполнимости логических функций - и синтаксический - построение выводов в логическом...
Авторы: Попов Сергей Викторович
Издательство: Физматлит
Год: 2011
Местонахождение: My-shop.ru
ISBN: 978-5-9221-1340-3
Название: Прикладная логика
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и синтаксический – построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.
Авторы: С. В. Попов
Издательство: Издательская фирма "Физико-математическая литература"
Год: 2011
Местонахождение: LitRes.ru
ISBN: 978-5-9221-1340-3
Название: Прикладная логика
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.
Авторы: С. В. Попов, Н. Л. Брошкова
Издательство: ФИЗМАТЛИТ
Год: 2011
Местонахождение: OZON.ru
ISBN: 978-5-9221-1340-3

Где читать эту книгу?

Российские библиотеки и не только

Название: Прикладная логика
Авторы: Попов С.В., Брошкова Н.Л.
Издательство: Москва: Физматлит
Год: 2011
Местонахождение: Научная библиотека НИЯУ МИФИ
ISBN: 978-5-9221-1340-3
Название: Прикладная логика
Авторы: Попов, Сергей Викторович, Брошкова, Наталья Леонидовна
Издательство: М.: Физматлит
Год: 2011
Местонахождение: Алтайская краевая универсальная научная библиотека им. В. Я. Шишкова
ISBN: 978-5-9221-1340-3
Название: Краткий тематический политэкономический словарь
Авторы: Ацюковский, Владимир Акимович, Костин, Георгий Васильевич, Парамонов, Дмитрий Викторович, Тягунов, Феликс Федорович
Издательство: Москва : [б. и.]
Год: 2014
Местонахождение: Алтайская краевая универсальная научная библиотека им. В. Я. Шишкова
ISBN: 978-5-9221-1340-3


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.