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

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


:: Чехов Антон Павлович
:: БСЭ
:: Азимов Айзек
:: Лесков Николай Семёнович
:: Борхес Хорхе Луис
:: Желязны Роджер
:: Шукшин Василий Макарович
:: Толстой Лев Николаевич
:: Лондон Джек
:: Горький Максим

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


:: The Boarding House
:: Колдовской камень
:: Бурый волк
:: Живая хронология
:: Бочка со зловещей меткой
:: Жил-был щелкунчик
:: Бесприютный
:: Киным-кино
:: Авторитет
:: Основание


Рефераты, дипломы, учебные пособия


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

Автор: С. В. Попов
Жанр: Математика
Аннотация:

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

     

     

     



    Извините, данная книга недоступна в связи с жалобой правообладателя.

 

 

Ваш комментарий:

 
 

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

кот комментирует книгу «Змейка» (Пехов Алексей Юрьевич):

интересно

Регина комментирует книгу «Демидовы (Каменный пояс, Книга 1)» (Федоров Евгений):

Отличная книга!

Антон комментирует книгу «Белый дракон» (Маккефри Энн):

Татьяна,спасибо!) Буду читать с удовольствием!

Андрей комментирует книгу «Привидение с брошкой» (Валерий Гусев):

Супер! Я прочитал 5 книг из этой серии: агенты школьной безопасности, чужак с гнилого болота, дело космической атаманши, заначка старого графа и приведение с брошкой!

Тимаша комментирует книгу «Зимняя роза» (Вудивисс Кэтлин):

Да, книга интересная, но есть моменты нудные. Советую прочитать "Илонию" Яны Ильинской. Может после этого романа сюжет мне показался затянутым?

Ирина комментирует книгу «Ведьмин Лог» (Вересень Мария):

Книга интересная, второй раз перечитываю..

Антон комментирует книгу «Первое правило волшебника» (Гудкайнд Терри):

может есть похожие герой в других книгах??? где герой любят друг друга как Ричард и Кэлен ??подскажите пожалуйста???

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

Настя полностью с тобой согласна. Барикада лучший момент в книге. Но мне все книги нравятся почти одинаково.

Daniel_DL комментирует книгу «Чук и Гек» (Гайдар Аркадий):

Благодарю. (Очень удобно сделали, что скачать сразу можно)

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

В 9 лет мне подарили книги Толкиена, сразу же прочел Хоббита, а серия "Властелин колец" сначала напугала объёмом, но спустя 2 года я опять наткнулся на эти книги, и тут, как говорится, понеслось - читал и перечитывал романы раз 20, а когда вышли фильмы... И вот недавно наткнулся на сериал, посмотрел 2 сезона за 3 дня, теперь ищу книги...

Жанры


Научная фантастика
Детективы
Проза
Любовные романы
Приключения
Детские
Поэзия
Драматургия
Старинная литература
Научно-образовательная
Компьютеры
Справочная литература
Документальная проза
Религия и духовность
Юмор
Дом и семья
Бизнес
Все жанры
--------------------

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