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

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

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

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

Основания теории множеств
по: Френкель, Абрахам Адольф
Публикация: (2010)

Анализ
по: Шварц, Лоран
Публикация: (1972)

Сборник задач по математической логике и алгебре множеств
Публикация: (1969)

Курс математической логики и теории вычислимости учебное пособие
по: Герасимов, Александр Сергеевич
Публикация: (2011)

Математическая логика [учебное пособие по техническим и естественно-научным специальностям]
по: Лавров, Игорь Андреевич
Публикация: (2006)

Введение в метаматематику
по: Клини, Стивен Коул 1909-1994
Публикация: (1957)

Сборник задач по высшей математике Учебное пособие
по: Шипачев, Виктор Семенович
Публикация: (1994)

Элементы математической логики и теории множеств
по: Пензов, Юрий Ефимович
Публикация: (1968)

Лекции по математической логике и теории алгоритмов
по: Верещагин, Николай Константинович 1958-
Публикация: (1999)

Учебный словарь-справочник русских математических терминов (с анлийскими эквивалентами)
по: Томберг, Эдуарт Арнольдович
Публикация: (1997)

Справочная книга по математической логике в 4 ч.
Публикация: (1982)

Курс математической логики и теории вычислимости учебное пособие : [для студентов по направлению подготовки "Компьютерные и информационные науки", "Информатика и вычислительная техника" и др.]
по: Герасимов, Александр Сергеевич
Публикация: (2014)

Элементы теории множеств и математической логики: учебное пособие/
по: Дурнев, В. Г. Валерий Георгиевич
Публикация: (1978)

Задачи и упражнения по математической логике и теории алгоритмов [учебное пособие для вузов по специальности 032100 "Математика"]
по: Игошин, Владимир Иванович
Публикация: (2005)

Задачи и упражнения по математической логике и теории алгоритмов [учебное пособие для вузов по специальности 050201 "Математика"]
по: Игошин, Владимир Иванович
Публикация: (2008)

Высшая математика V. Дискретная математика Учебное пособие для студентов технических вузов
по: Шевелев, Юрий Павлович 1940-
Публикация: (1998)

Математическая логика Учебное пособие для математических специальностей вузов
по: Ершов, Юрий Леонидович 1940-
Публикация: (1979)

Сборник задач по высшей математике Учебное пособие
по: Шипачев, Виктор Семенович
Публикация: (1993)

Математическая логика Учебное пособие для математических специальностей вузов
по: Ершов, Юрий Леонидович 1940-
Публикация: (1987)

Элементы математической логики и теории множеств: Учебное пособие для вузов/
по: Вольвачев, Р. Т. Раймонд Трофимович
Публикация: (1986)

Элементы теории множеств и математической логики Практикум
по: Александрова, Регина Александровна
Публикация: (1997)

Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров, Игорь Андреевич
Публикация: (2001)

Задачи по теории множеств, математической логике теории алгоритмов: Сборник/
по: Лавров, И. А. Игорь Андреевич, et al.
Публикация: (1984)

Конфигурации программ. Рецепты безболезненных изменений/
по: Горбунов-Посадов, М. М. Михаил Михайлович
Публикация: (1994)

Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров, Игорь Андреевич
Публикация: (1984)

Математика в альтернативной теории множеств
по: Вопенка, Петр
Публикация: (1983)

Математическая логика [учебное пособие для математических специальностей вузов]
по: Колмогоров, Андрей Николаевич 1903-1987
Публикация: (2006)

Математическая логика и теория алгоритмов [учебное пособие]
по: Хусаинов, Ахмет Аксанович
Публикация: (2005)

Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров, Игорь Андреевич
Публикация: (2009)

Вводный курс математической логики [учебное пособие]
по: Успенский, Владимир Андреевич 1930-2018
Публикация: (2004)

Вводный курс математической логики [учебное пособие]
по: Успенский, Владимир Андреевич 1930-2018
Публикация: (2007)

Дифференциальное и интегральное исчисления для втузов Учебник для втузов
по: Пискунов, Николай Семенович 1908-1977
Публикация: (1966)

Математика для гуманитариев Учебное пособие
по: Грес, Павел Власович
Публикация: (2000)

Введение в математическую логику
по: Мендельсон, Эллиот
Публикация: (1984)

Государство и право киданьской империи Великое Ляо
по: Даньшин, Александр Владимирович
Публикация: (2006)

Вопросы теории множеств и теории функций
по: Ляпунов, Алексей Андреевич 1911-1973
Публикация: (1979)

Математическая логика [учебное пособие для студентов высших учебных заведений, обучающихся по направлениям и специальностям: "Математика", "Прикладная математика и информатика", "Механика"]
по: Ершов, Юрий Леонидович 1940-
Публикация: (2011)

Теория множеств и метод форсинга
по: Йех, Томас
Публикация: (1973)

Введение в математический анализ методическая разработка
Публикация: (2007)

Элементы математической логики
по: Новиков, Петр Сергеевич
Публикация: (1959)