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

Rassmotreny voprosy teorii logicheskogo vyvoda: istorija teorii logicheskogo vyvoda, aksiomaticheskij metod D. Gilberta, vyvodimost v ischislenii vyskazyvanij, metod rezoljutsij, logicheskij vyvod po nechetkim dannym.Prednaznacheno preimuschestvenno dlja studentov inzhenernykh fakultetov i vuzov po ukrupnennym gruppam spetsialnostej "Informatika i vychislitelnaja tekhnika", a takzhe drugikh spetsialnostej, izuchajuschikh razdel matematicheskoj logiki - teoriju logicheskogo vyvoda. Mozhet byt polezno dlja magistrov, aspirantov, prepodavatelej i spetsialistov, profil interesov i rabota kotorykh svjazany s voprosami matematicheskoj logiki.

Категория

Математика

EAN

9785811472840

Похожие товары

Прикладная статистика. Учебное пособие для вузов, 3-е изд., сте...

Ганичева А. В.

Год выхода: 2022

Твердый переплет

47.00 €

42.73 € без НДС

В корзину
Математические модели и методы оценки событий, ситуаций и проце...

Ганичева А. В.

Год выхода: 2022

Твердый переплет

42.00 €

38.18 € без НДС

В корзину
Эконометрика. Учебник для СПО

Ганичева А. В.

Год выхода: 2021

Мягкая обложка

27.00 €

24.55 € без НДС

В корзину
Теория вероятностей и математическая статистика. Учебное пособи...

Ганичева А. В.

Год выхода: 2021

Мягкая обложка

26.00 €

23.64 € без НДС

В корзину
Прикладная статистика. Учебное пособие для СПО

Ганичева А. В.

Год выхода: 2021

Твердый переплет

28.00 €

25.45 € без НДС

В корзину
Прикладная статистика. Учебное пособие для вузов,

Ганичева А. В.

Год выхода: 2021

Твердый переплет

42.00 €

38.18 € без НДС

В корзину
Практикум по математической статистике с примерами в Excel. Уче...

Ганичева А. В.

Год выхода: 2021

Мягкая обложка

27.00 €

24.55 € без НДС

В корзину
Основы теории функции комплексной переменной. Операционное исчи...

Ганичева А. В.

Год выхода: 2021

Твердый переплет

36.00 €

32.73 € без НДС

В корзину
Математическое программирование. Учебное пособие для СПО

Ганичева А. В.

Год выхода: 2021

Мягкая обложка

27.00 €

24.55 € без НДС

В корзину
Математика для юристов. Учебник для СПО

Ганичева А. В.

Год выхода: 2021

Твердый переплет

32.00 €

29.09 € без НДС

В корзину