О книге «Математическая логика и теория алгоритмов» А.А Набебина и Ю.П. Кораблина
Книга А.А Набебина и Ю.П. Кораблина «Математическая логика и теория алгоритмов», (М., Научный мир. 2088, 343 стр.) содержит основные понятия математической логики и теории алгоритмов.
В первой части книги излагаются основные положения математической логики - алгебра логики, исчислений высказываний, логика предикатов (первого порядка), секвенциальное исчисление, исчисление секвенций (Гентцена, метод резолюций в логике высказываний и в логике предикатов с выходом в универсальный язык программирования Пролог.
Вторая часть книги рассматривает основные понятия теории алгоритмов - частично рекурсивные функции, машины Тьюринга, общекурсивные функции и предикаты, рекурсивные перечислимые и общерекурсивные (алгоритмически разрешимые) множества. Строится функция, универсальная для класса частично рекурсивных функций. Приведены примеры алгоритмические неразрешимых проблем. Показана алгоритмически неразрешимая логики предикатов и аксиоматической арифметики; дано понятие о теоремах Геделя, описан универсальный язык программирования ЛИСП и приведены примеры некоторых программ.
Книга А.А Набебина и Ю.П. Кораблина «Математическая логика и теория алгоритмов»,
предназначена для студентов высших учебных заведений, специализирующихся в области прикладной математики, вычислительной техники, программирования, информатики. Она написана по материалам лекций авторов в Московском энергетическом институте и в Российском государственном социальном университете и может использоваться в качестве учебного пособия для студентов, обучающихся по направлению «Информатика и вычислительная техника» специальности «Программное обеспечение вычислительной техники и автоматизированных систем», а также специальности «Информационные системы и технологии».
Добавить книгу в корзину можно перейдя по ссылке - https://totbook.ru/catalog/165/523/
В первой части книги излагаются основные положения математической логики - алгебра логики, исчислений высказываний, логика предикатов (первого порядка), секвенциальное исчисление, исчисление секвенций (Гентцена, метод резолюций в логике высказываний и в логике предикатов с выходом в универсальный язык программирования Пролог.
Вторая часть книги рассматривает основные понятия теории алгоритмов - частично рекурсивные функции, машины Тьюринга, общекурсивные функции и предикаты, рекурсивные перечислимые и общерекурсивные (алгоритмически разрешимые) множества. Строится функция, универсальная для класса частично рекурсивных функций. Приведены примеры алгоритмические неразрешимых проблем. Показана алгоритмически неразрешимая логики предикатов и аксиоматической арифметики; дано понятие о теоремах Геделя, описан универсальный язык программирования ЛИСП и приведены примеры некоторых программ.
Книга А.А Набебина и Ю.П. Кораблина «Математическая логика и теория алгоритмов»,
предназначена для студентов высших учебных заведений, специализирующихся в области прикладной математики, вычислительной техники, программирования, информатики. Она написана по материалам лекций авторов в Московском энергетическом институте и в Российском государственном социальном университете и может использоваться в качестве учебного пособия для студентов, обучающихся по направлению «Информатика и вычислительная техника» специальности «Программное обеспечение вычислительной техники и автоматизированных систем», а также специальности «Информационные системы и технологии».
Добавить книгу в корзину можно перейдя по ссылке - https://totbook.ru/catalog/165/523/