Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Электронный каталог НТГСПИ - результаты поиска

Вид поиска
Электронный каталог НТГСПИ
Картотека газет и журналов
Картотека статей
Полнотекстовая база изданий НТГСПИ
Полнотекстовая база ВКР
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>K=формальные системы<.>)
Общее количество найденных документов : 1
1.

Вид документа : Однотомное издание
Шифр издания : 51/К268
Автор(ы) : Карри, Хаскелл Брукс
Заглавие : Основания математической логики
Выходные данные : Москва: Мир, 1969
Колич.характеристики :567, [1] с.: табл., черт.; 22 см
Перевод издания: Curry H. B. Foundations of mathematical logic. -New York [etc.], 1963
Примечания : Доп. тит. л. англ. - Библиогр.: с. 518-547. - Указ. символов, терминов и именной.: с. 548-567
Цена : 2.64 р.
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--матлогика--логика математическая--формальные системы--эпитеория--реляционная логическая алгебра--логическая алгебра--теория импликации--отрицание--кванторы--модальности--математика
Аннотация: Книга американского учёного посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений. Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.
Экземпляры : всего : АБ(1), МБ(1)
Свободны : АБ(1), МБ(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)