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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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

Author(s): Бочвар Д.А., Шрейдер Ю.А. (редакторы)

Language: Russian
Commentary: 814795
Tags: Информатика и вычислительная техника;Искусственный интеллект;Компьютерная лингвистика