Теория логического вывода Учебное пособие для вузов

Здесь можно скачать "Теория логического вывода Учебное пособие для вузов", год 2021 в формате fb2 полную версию бесплатно без регистрации и SMS, а также читать онлайн книгу на сайте ПараКниг (paraknig.me)

Год издания: 2021
Полная версия книги

Рейтинг

Содержание книги - Теория логического вывода Учебное пособие для вузов Ганичева А.

Теория логического вывода Учебное пособие для вузов - описание и краткое содержание, автор Ганичева А., читайте бесплатно онлайн на сайте электронной библиотеки paraknig.me

Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики — теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.





Чтобы оставить свою оценку и/или комментарий, Вам нужно войти под своей учетной записью или зарегистрироваться


Пока никто не оставил впечатление о книге...


Пока никто не оставил цитат из этой книги...

Другие книги авторавсе книги
Эконометрика Учебник для СПО
Основы теории функции комплексной переменной Операционное исчисление Учебное пособие для вузов
Математическое программирование Учебное пособие для СПО
Теория принятия решений Учебное пособие для СПО
Другие книги жанраМатематика
Пятьсот двадцать головоломок
ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда
А ну-ка, догадайся!
Апология математики, или О математике как части духовной культуры
Геометрия, динамика, вселенная
Сферландия