1. Главная
  2. Ресурсы
  3. Библиотечный поиск

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

Полный текст на внешнем сайте
Доступ к полному тексту через электронную библиотечную систему «Лань».
База данных: Каталог библиотеки СФУ (22.10 Я7)
Библиографическое описание: Ганичев, А. В. Теория логического вывода : учебное пособие / А. В. Ганичев. - Тверь : ТвГТУ, 2019. - 92 с. - ISBN 978-5-7995-1014-5 : Б. ц. - Текст : непосредственный. Книга из коллекции ТвГТУ - Математика
Аннотация: Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов, а также специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Год издания: 2019
Авторы: Ганичев А. В.
Издательство: ТвГТУ, Тверь
Количество страниц: 92
Количество экземпляров:
Издание имеется только в электронном виде

Цифровые и тематические книжные коллекции издания

Похожие публикации

Прикладные логические методы и модели

  • Ганичева А. В.
  • 2020 год

Теория логического вывода

  • Ганичева А. В.
  • 2024 год

Теория логического вывода

  • Ганичева А. В.
  • 2017 год

Математическая логика и теория алгоритмов

  • Вайнштейн Юлия Владимировна и др.
  • 2019 год

Математика. Элементы теории множеств и математической логики

  • Большов Л. А. и др.
  • 2017 год

Математическая логика и теория алгоритмов

  • Гамова А. Н.
  • 2020 год

Математическая логика и теория алгоритмов

  • Михальченко Галина Ефимовна
  • 2018 год

Математическая логика и теория алгоритмов

  • Моисеенкова Татьяна Владимировна
  • 2025 год

Показать ещё