Логика второй ступени Введение Дмитрий Смелянский (книга)

Подробная информация о книге «Логика второй ступени Введение Дмитрий Смелянский». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Логика второй ступени Введение Дмитрий Смелянский»

Дмитрий Смелянский - «Логика второй ступени Введение»

Поделиться

Рейтинг книги izbe.ru: 0,0

О книге

Логика второго порядка остается в настоящее время далеко не изученным до конца разделом математической логики в силу ряда возникающих в ней трудностей, не имеющих места в логике первого порядка. Тем не менее, она заслуживает внимания благодаря своим более широким, чем в логике первого порядка, выразительным возможностям. В общих чертах логика второго порядка может быть охарактеризована как такое расширение логики первого порядка, язык которой формализует понятия «произвольного свойства» и «произвольного от- ношения». Таким образом, это логическое исчисление более полно отражает средства и способы наших естественных, неформальных рассуждений. Первые формально-логические системы, такие, как система Г.Фреге, были в каком-то системами логики второго порядка. Исследованиями в этой области занимались такие крупные математики-логики, как Хенкин, Черч, Такеути и др. В своей работе автор иссследует ограничения и иллюстрирует возможности выразимости в... Это и многое другое вы найдете в книге Логика второй ступени Введение (Дмитрий Смелянский)

Полное название книги Дмитрий Смелянский Логика второй ступени Введение
Тип Книга
Автор Дмитрий Смелянский
Ключевые слова математика, общие вопросы математики
Категории Образование и наука, Математика
ISBN 9783843317559
Возрастное ограничение 18
Издательство
Год 2011
Название транслитом logika-vtoroy-stupeni-vvedenie-dmitriy-smelyanskiy
Просмотров 2
Рейтинг izbe.ru 0,0

Напишите вашу рецензию на книгу:
Дмитрий Смелянский «Логика второй ступени Введение»

Рецензии пользователей

Пока еще никто не написал рецензию на эту книгу.

ТОП-15 книг