Название: Логические и математические исчисления Автор: Шиханович Ю. Издательство: М.: Научный мир Год: 2011 Формат: pdf Страниц: 256 Размер: 15 mb Язык: Русский
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю.А.Шихановича "Введение в математику" (М: "Научный мир", 2005). Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А.Шихановича "Минимум по теории алгоритмов для нематематиков" (М: "Научный мир", 2009).
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Макоха А. Н., Шапошников А. В., Бережной В. В. Издательство: изд-во СКФУ Год: 2017...
Введение в современную математику Название: Введение в современную математику Автор: Шиханович Ю.А. Издательство: М.: Наука Год: 1965 Формат: PDF Страниц: 377 Размер: 52.4 MB Язык:...
Введение в конечную математику Название: Введение в конечную математику Автор: Кемени Дж., Снелл Дж., Томпсон Дж. Издательство: Мир Год: 1965 Формат: DjVu Качество:...
Математическая логика: Учебное пособие для вузов Название: Математическая логика: Учебное пособие для вузов Автор: Ершов Ю.Л., Палютин Е.А. Издательство: Наука Год: 1987 Формат: pdf Страниц: 336...
Математические методы анализа алгоритмов Название: Математические методы анализа алгоритмов Автор: Грин Д.Х. Издательство: Мир Год: 1987 Формат: PDF/DjVu Страниц: 120 Размер: 24.9 MB Язык:...
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Судоплатов С.В., Овчинникова Б.В. Издательство: М.: Инфра-М; Новосибирск: НГТУ Год: 2004...
Навигация
Вход на сайт
Реклама
Логические и математические исчисления 
