Исследования по математической лингвистике, математической логике и информационным языкам [сборник статей]

Исследования по математической лингвистике, математической логике и информационным языкам [сборник статей]

Библиографическая информация
Другие авторы: Бочвар, Дмитрий Анатольевич 1903-1990 (Редактор), Шрейдер, Юлий Анатольевич 1927-1998 (Редактор)
Формат: Книга
Язык:Russian
Публикация: Москва Наука 1972
Предметы:
математическая лингвистика
грамматики обобщенные, свойства
синтаксические преобразования, формальный аппарат
предложения сложные, порождение из простых
киданьское письмо, дешифровка
метаязык, построение
семиотические системы квазилингвистические, описание
информация в структурах с отношениями
информационно-поисковые языки, разработка
Куайна аксиоматическая система теории множеств, фрагменты
истина для канторовских множеств упорядоченных сильно
исчисление предикатов Ko расширенное, погружение в арифметику
аксиомы свертывания, схемы
континуум суслинский однородный
исчисление высказываний, система аксиом самодвойственная
логики многозначные
антиномии, формализация анализа
Описание
Объем:296, [1] с. ил., табл.
Библиография:Библиогр. в конце ст.

Похожие документы