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

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

Bibliographic Details
Other Authors:	Бочвар, Дмитрий Анатольевич 1903-1990 (Editor), Шрейдер, Юлий Анатольевич 1927-1998 (Editor)
Format:	Book
Language:	Russian
Published:	Москва Наука 1972
Subjects:	математическая лингвистика грамматики обобщенные, свойства синтаксические преобразования, формальный аппарат предложения сложные, порождение из простых киданьское письмо, дешифровка метаязык, построение семиотические системы квазилингвистические, описание информация в структурах с отношениями информационно-поисковые языки, разработка Куайна аксиоматическая система теории множеств, фрагменты истина для канторовских множеств упорядоченных сильно исчисление предикатов Ko расширенное, погружение в арифметику аксиомы свертывания, схемы континуум суслинский однородный исчисление высказываний, система аксиом самодвойственная логики многозначные антиномии, формализация анализа

Similar Items

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

Анализ
by: Шварц, Лоран
Published: (1972)

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

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

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

Введение в метаматематику
by: Клини, Стивен Коул 1909-1994
Published: (1957)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Введение в математическую логику
by: Мендельсон, Эллиот
Published: (1984)

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

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

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

Теория множеств и метод форсинга
by: Йех, Томас
Published: (1973)

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

Элементы математической логики
by: Новиков, Петр Сергеевич
Published: (1959)