Теория дедуктивных систем и ее применения

Теория дедуктивных систем и ее применения

Bibliographic Details
Main Author:	Маслов, Сергей Юрьевич
Format:	Book
Language:	Russian
Published:	М. Радио и связь 1986
Series:	Кибернетика
Subjects:	Исчислений теория. математическая логика.
Online Access:	Перейти в каталог НБ ТГУ

Similar Items

Конструктивные модели
by: Гончаров, Сергей Савостьянович
Published: (1999)

Как математика ум в порядок приводит
by: Столяр, Абрам Аронович
Published: (1991)

Ламбда-исчисление Его синтаксис и семантика
by: Барендрегт, Хендрик Питер
Published: (1985)

Элементы математической логики
by: Марков, Андрей Андреевич младший 1903-1979
Published: (1984)

Как математика ум в порядок приводит
by: Столяр, Абрам Аронович
Published: (1982)

Некоторые свойства свободных периодических групп нечетного показателя автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
by: Ширванян, Валерий Левонович
Published: (1976)

Сравнение различных схем аксиом в классическом анализе автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
by: Левин, Александр Моисеевич
Published: (1976)

О сложности относительных вычислений автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
by: Дехтярь, Михаил Иосифович
Published: (1976)

Теория смысла и интенсиональная логика
by: Микиртумов, Иван Борисович
Published: (2006)

Справочная книга по математической логике В 4-х ч. Пер. с англ.
Published: (1983)

Алгебра, логика и теория чисел [Сборник статей]
Published: (1986)

Логический подход к искусственному интеллекту От классической логики к логическому программированию
Published: (1990)

Что такое нестандартный анализ
by: Успенский, Владимир Андреевич 1930-2018
Published: (1987)

Математическая логика и теория алгоритмов Учебное пособие для студентов физико-математических специальностей педагогических институтов
by: Игошин, Владимир Иванович
Published: (1991)

Теория оптимального управления
by: Параев, Юрий Иванович 1936-2021
Published: (1986)

Введение в логику и методологию дедуктивных наук
by: Тарский, Альфред 1901-1983
Published: (1948)

Математическая логика [Учебное пособие для математических специальностей педагогических институтов]
by: Столяр, Абрам Аронович
Published: (1991)

Математическая логика курс лекций : [учебное пособие для студентов вузов по специальности 032100 "Математика"]
by: Тимофеева, Ирина Леонидовна
Published: (2007)

Проблемы конструктивного направления в математике сборник работ
Published: (1967)

Теория моделей и ее применения
Published: (1988)

Математика в ее историческом развитии
by: Колмогоров, Андрей Николаевич 1903-1987
Published: (1991)

Математическая логика и теория алгоритмов
Published: (1993)

Логические и математические исчисления учебное пособие
by: Шиханович, Юрий Александрович
Published: (2011)

Методы оптимизации и их приложения
by: Анциферов, Евгений Георгиевич
Published: (1990)

Математическая логика и автоматическое доказательство теорем
by: Чень, Ч.
Published: (1983)

Алгоритмы и рекурсивные функции
by: Мальцев, Анатолий Иванович 1909-1967
Published: (1986)

Абелевы группы без кручения с конечными группами автоморфизмов Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Кожухов, Сергей Федорович
Published: (1994)

Ситуационные советующие системы с нечеткой логикой
by: Мелихов, Аскольд Николаевич
Published: (1990)

Асимптотические методы и теория возмущений
by: Маслов, Виктор Павлович 1930-
Published: (1988)

Вычислительные методы теории принятия решений
by: Юдин, Давид Беркович 1919-2006
Published: (1989)

Определяемость абелевых групп и модулей группами и модулями гомоморфизмов Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Антонова, Наталья Юрьевна
Published: (1994)

Алгоритмы и рекурсивные функции
by: Мальцев, Анатолий Иванович 1909-1967
Published: (1965)

Оптимизация: модели, методы, решения Сборник научных трудов
Published: (1992)

Теория классифицирования и ее приложения
by: Воронин, Юрий Александрович
Published: (1985)

Десятая проблема Гильберта
by: Матиясевич, Юрий Владимирович
Published: (1993)

Исследования по теории чисел и диофантову анализу Перевод текстов и комментарии
by: Ферма, Пьер 1601-1665
Published: (1992)

История и синергетика: методология исследования
Published: (2010)

История и синергетика: методология исследования [сборник статей]
Published: (2005)

Байесовские сети логико-вероятностный подход
by: Тулупьев, Александр Львович
Published: (2006)

Теоремы сложения Справочник
by: Ерофеенко, Виктор Тихонович 1946-
Published: (1989)