Первый сборник из следующего цикла:
(1972) Исследования по математической лингвистике, математической логике и информационным языкам
(1974) Исследования по формализованным языкам и неклассическим логикам
(1976) Исследования по теории множеств и неклассическим логикам
(1979) Исследования по неклассическим логикам и теории множеств
(1983) Исследования по неклассическим логикам и формальным системам
В сборнике представлены статьи научных сотрудников Отдела семиотики Всесоюзного института научной и технической информации АН СССР, относящиеся к различным проблемам семиотики и математической логики. Одни авторы — Т. Д. Корельская, Е. В. Падучева — дают описание структуры русского текста, другие — М. В. Арапов, А. М. Карапетьянц, 3. М. Малиновская, М. А. Пробст — исследуют проблему дешифровки письма с утерянным ключом — киданьских текстов.
Author(s): Бочвар Д.А., Шрейдер Ю.А. (ред)
Publisher: Наука
Year: 1972
Language: Russian
Commentary: Scanned, DjVu'ed, OCR'ed, TOC by Envoy
Pages: 298
Обложка ......Page 1
От редакторов ......Page 5
Стоцкий Э.Д. Обобщенные грамматики и их свойства ......Page 7
Корельская Т.Д., Падучева Е.В. О формальном аппарате синтаксических преобразований ......Page 27
Падучева Е.В. О порождении сложного предложения из простых ......Page 59
Арапов М.В., Карапетьянц А.М., Малиновская З.М., Пробст М.А. Некоторые вопросы дешифровки киданьского письма ......Page 79
Ланглебен М.М. Опыт построения метаязыка для описания квазилингвистической семиотической системы ......Page 96
Шрейдер Ю.А. Информация в структурах с отношениями ......Page 147
Стоколова Н.А. О тенденциях в области разработки информационно-поисковых языков ......Page 160
Гришин В.Н. О некоторых фрагментах системы Куайна NF ......Page 200
Есенин-Вольпин А.С. О понятии истины для вполне упорядоченных сильно канторовских множеств ......Page 213
Шмаин И.Х. О погружении расширенного исчисления предикатов K0 со схемой аксиом свертывания в арифметику ......Page 217
Фуксон В.И. Об однородном суслинском континууме ......Page 227
Ермолаева Я.М. О самодвойственной системе аксиом классического исчисления высказываний ......Page 232
Бочвар Д.А., Финн В.К. О многозначных логиках, допускающих формализацию анализа антиномий. 1. ......Page 238
Оглавление ......Page 296
