Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9783843317559

Книга ISBN13 9783843317559 - Логика второй ступени Введение (Дмитрий Смелянский) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Логика второй ступени Введение
Логика второго порядка остается в настоящее время далеко не изученным до конца разделом математической логики в силу ряда возникающих в ней трудностей, не имеющих места в логике первого порядка. Тем не менее, она заслуживает внимания благодаря своим более широким, чем в логике первого порядка, выразительным возможностям. В общих чертах логика второго порядка может быть охарактеризована как такое расширение логики первого порядка, язык которой формализует понятия «произвольного свойства» и «произвольного от- ношения». Таким образом, это логическое исчисление более полно отражает средства и способы наших естественных, неформальных рассуждений. Первые формально-логические системы, такие, как система Г.Фреге, были в каком-то системами логики второго порядка. Исследованиями в этой области занимались такие крупные математики-логики, как Хенкин, Черч, Такеути и др. В своей работе автор иссследует ограничения и иллюстрирует возможности выразимости в...
Авторы: Дмитрий Смелянский
Издательство: LAP Lambert Academic Publishing
Год: 2011
Местонахождение: OZON.ru
ISBN: 9783843317559


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.