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

Базы данных


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

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

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

Держатели документа:
библиотека нтгспа

Доп.точки доступа:
Таванец, П.В. \отв. ред.\
Экземпляры всего: 1
АБ (1)
Свободны: АБ (1)
Найти похожие
2.
   51
   К268

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

Держатели документа:
Библиотека НТГСПА

Доп.точки доступа:
Донченко, В. В. \пер.\; Гастев, Юрий Алексеевич \ред. пер.\; Curry, Haskell Brooks; Curry, H. B.
Экземпляры всего: 2
АБ (1), МБ (1)
Свободны: АБ (1), МБ (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)