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

—

Нет оценок

Нет отзывов

Купили 2 человека

Аннотация

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

Не в наличии

Отзывы

0

Уже читали эту книгу? Поделитесь вашим мнением!

Описание и характеристики

Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики — теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Код2854445
Издательство
СерияВысшее образование
Автор
ПереплетМягкий переплёт
Кол-во страниц92
Год издания2021
Тираж30 экз.
ISBN978-5-8114-7284-0
РазделМатематика
Размеры0.4 см × 16.5 см × 23.5 см
Вес0.14 кг
В магазине «Буквоед» закончилась книга «Теория логического вывода. Учебное пособие для вузов» от автора Ганичева Антонина Валериановна. Когда книга снова поступит в продажу, можно будет сделать заказ из любого города России: от Санкт-Петербурга и Москвы до Казани и Краснодара. Дождитесь, пока появится надпись «Купить», чтобы получить «Теория логического вывода. Учебное пособие для вузов» в магазине сети или заказать доставку. Мы и сами любим читать, поэтому делаем всё, чтобы вы могли купить понравившуюся историю по приятной цене. Например, организуем конкурсы и проводим акции. Оставайтесь с нами, чтобы не упустить выгоду!