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

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

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

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