Статья
  • формат pdf
  • размер 11.06 МБ
  • добавлен 23 апреля 2012 г.
Бочвар Д.А., Шрейдер Ю.А. (редакторы) Исследования по математической лингвистике, математической логике и информационным языкам
М.: Наука, 1972. — 296 с.
В сборнике, подводящем итоги исследований по семиотике, рассматривается, как логико-математические методы применяются в решении логических и лингвистических проблем, и в теории информационных языков. Статьи сборника содержат интересный материал и являются серьёзным вкладом в исследования по кибернетике, семиотике, логике и структурной лингвистике.
Краткое содержание:
Стоцкий Э.Д. Обобщенные грамматики и их свойства;
Корельская Т.Д., Падучева Е.В О формальном аппарате синтаксических преобразований;
Падучева Е.В. О порождении сложного предложения из простых;
Арапов М.В., Карапетьянц А.В., Малиновская З.М., Пробст М.А Некоторые вопросы дешифровки киданьского письма;
Ланглебен М.М. Опыт построения метаязыка для описания квазилингвистической семиотической системы;
Шрейдер Ю.А. Информация в структурах с отношениями;
Стоколова Н.А. О тенденциях в области разработки информационно-поисковых языков;
Гришин В.Н. О некоторых фрагментах системы Куайна NF;
Есенин-Вольпин А.С. О понятии истины для вполне упорядоченных сильно канторовских множеств;
Шмаин И.Х. О погружении расширенного исчисления предикатов Ко со схемой аксиом свертывания в арифметику;
Фуксон В.И. Об однородном суслинском континууме;
Ермолаева Н.М. О самодвойственной системе аксиом классического исчисления высказываний;
Бочвар Д.А., Финн В.К. О многозначных логиках, допускающих формализацию анализа антиномий. 1.
Похожие разделы