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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 16/П781
Заглавие : Проблемы логики : Сборник статей
Выходные данные : Москва: Изд-во Академии наук СССР, 1963
Колич.характеристики :151 с.: с черт.; 20 см
Серия: Акад. наук СССР. Ин-т философии
Примечания : Библиогр. в конце статей
Цена : 0.44 р.
ББК : Ю4
Предметные рубрики: Логика-- Сборники
Содержание : О философских вопросах математической логики/ С.А. Яновская. Некоторые вопросы, связанные с проблемой разрешения для исчисления строгой импликации Аккермана/ в.В. Донченко. Об одном методе спецреферирования/ Н.И. Стяжкин. Обобщении силлогистики/ А.А. Зиновьев. Замечения по поводу системы силлогистики и общей теории дедукции/ В.А. Смирнов. Алгоритмы и логические схемы алгоритмов/ В.А. Смирнов. О множествах, разрешимых и перечисленных автоматами/ В.А. Козмидиади. Преодолены ли в современной науке трудности, известные под названием "апории Зенона"?/ С.А. Яновская. О построении анализа на основе аксиоматизированной геометрии прямой II/ Ю.А. Гастев. Об одном подходе к анализу причинности/ Ю.А. Магинскас.
Экземпляры :АБ(1)
Свободны : АБ(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)