Современная электронная библиотека ModernLib.Net

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

Автор:	С. В. Попов
Жанр:	Математика
Аннотация: Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и синтаксический – построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.

Случайные комментарии

Маргарита комментирует книгу «Всадник без головы» (Майн Рид Томас):

Жалко что скачать нельзя.....

Александр Соколов комментирует книгу «Попытка возврата -2» (Николаевич Конюшевский):

О книгах серии "Попытка возврата" По моему мнению книга являет собой собрание обывательских мифов о войне. Я бы сравнил книгу с "Янки при дворе короля Артура", но не буду, Марк Твен гораздо талантливее автора.Вообще я бы посоветовал авторам, пишущим об альтернативной истории сначала основательно изучить реальную историю.

Александра комментирует книгу «Возвращение» (Стил Даниэла):

Только что увидела Ваш комментарий. Скачайте бесплатную программу для чтения Ice Book Reader, она читает и этот формат в том числе.

ДЖИЯ комментирует книгу «Противостояние [=Армагеддон]» (Кинг Стивен):

Книга очень понравилась, прочитала на одном дыхании!! страшно, конечно, но оторваться невозможно!!!!

Юрий комментирует книгу «Пиковая Дама и другие» (Улицкая Людмила Евгеньевна):

У меня ребенку в 10 классе эту хрень (простите, но по другому не скажешь) задали читать!!! Докатились?..

мария комментирует книгу «Таня Гроттер и Болтливый сфинкс» (Емец Дмитрий):

а мне очень понравилась вся эта серия. молодец!

Виктор комментирует книгу «Боец. Оборотни» (Угрюмов Владимир):

мне очень нравится Угрюмов

Наталья комментирует книгу «Сон с продолжением» (Михалков Сергей):

Это одна из лучших сказок моего советского детства! До сих пор вспоминаю журнал "Мурзилка", и моего дедушку, который мне каждый вечер читал эту сказку. Очень добрая сказка! Советую всем МАМОЧКАМ прочитать дочкам! Пусть девочки помечтают...

Вероника, 16 комментирует книгу «Одиночество в Сети» (Вишневский Януш):

В первый раз прочтя книгу я заплакала. Просто меня поразило то, что сидя в разных городах перед экранами мониторов, люди влюбляются друг в друга(что сейчас не редкость, к сожалению), встречаются, но в силу обстоятельств не могут быть вместе. А люди хорошие...

Фуад Микаилов комментирует книгу «Ассасин» (Дмитрий Кружевский):

Офигенная книга!Нужно что нибудь еще подобное или продолжение!:)

Информация для правообладателей

ЭЛЕКТРОННАЯ БИБЛИОТЕКА ModernLib.Net

С. В. Попов - Прикладная логика, скачать книгу бесплатно

Популярные авторы

Популярные книги

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

Жанры