Логические и математические исчисления учебное пособие

Логические и математические исчисления, учебное пособие

Bibliographic Details
Main Author: Шиханович Ю. А. Юрий Александрович
Summary:В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю.А. Шихановича "Введение в математику" (М: «Научный мир», 2005). Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А. Шихановича "Минимум по теории алгоритмов для нематематиков" (М: "Научный мир". 2009).
Language:Russian
Published: Москва, Научный мир, 2011
Subjects:
Математическая логика
логические исчисления
высказывания
предикаты
математические исчисления
теорема Геделя
ассоциативные исчисления
порождающие грамматики
регулярные выражения
рекурсивные функции
исчисления Поста
исчисления по Успенскому
синтактика
семантика
дедуктика
учебные пособия
Format: Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=200129
Description
Physical Description:253 с.
Summary:В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю.А. Шихановича "Введение в математику" (М: «Научный мир», 2005). Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А. Шихановича "Минимум по теории алгоритмов для нематематиков" (М: "Научный мир". 2009).
ISBN:9785915222464

Similar Items