Автоматическое образование гипотез. Математические основы общей теории: научное издание/

Автоматическое образование гипотез. Математические основы общей теории: научное издание/

Библиографическая информация
Главные авторы:	Гаек, П. Петр (Автор), Гавранек, Т. Томаш (Автор)
Другие авторы:	Поспелов, Д. А. (Редактор)
Формат:	Книга
Язык:	Russian
Публикация:	М.: Наука 1984
Серии:	Проблемы искусственного интеллекта
Предметы:	МАТЕМАТИЧЕСКАЯ ЛОГИКА
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

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

Автоматическое образование гипотез Математические основы общей теории
по: Гаек, Петр
Публикация: (1984)

Алгебраические логики: элементы теории, взаимоотношения, реляторная схемотехника: научное издание/
по: Волгин, Л. И. Леонид Иванович
Публикация: (2005)

Основы кибернетики. Математические основы кибернетики: учебное пособие/
по: Галушкин, А. И. Александр Иванович, et al.
Публикация: (1974)

Основы теоретической логики
по: Гильберт, Давид 1862-1943
Публикация: (1947)

Автоматическое порождение гипотез в интеллектуальных системах
Публикация: (2009)

Основы теоретической логики
по: Гильберт, Давид 1862-1943
Публикация: (2000)

Первое знакомство с математической логикой: научное издание/
по: Депман, И. Я. Иван Яковлевич
Публикация: (1965)

Логические задачи: научное издание/
по: Байиф, Ж. К. Жан-Клод
Публикация: (1983)

Историко-математические исследования Сборник статей
Публикация: (1990)

Проверка статистических гипотез
по: Леман, Эрих Лео
Публикация: (1964)

Основания математики. Теория доказательств: научное издание/
по: Гильберт, Д. Давид, et al.
Публикация: (1982)

Конечно аксиоматизируемые теории
по: Перетятькин, Михаил Георгиевич
Публикация: (1997)

Логические основы метода моделирования
по: Уемов, Авенир Иванович 1928-2012
Публикация: (1971)

Основания математики. Логические исчисления и формализация арифметики: научное издание/
по: Гильберт, Д. Давид, et al.
Публикация: (1982)

Философские основания научной теории: /
Публикация: (1985)

Математическая логика и автоматическое доказательство теорем
по: Чень, Ч.
Публикация: (1983)

Экономическая кибернетика на практике: научное издание/
по: Эртли-Каякоб, П.
Публикация: (1983)

Конструктивная теория доказательств и нестандартный анализ: научное издание/
по: Драгалин Альберт Григорьевич
Публикация: (2003)

Математические вопросы кибернетики [Сборник статей]
Публикация: (2002)

Математические основания информатики
по: Столбоушкин, А. П.
Публикация: (1998)

Математические основы теории симметрий
по: Голод, Петр Иванович
Публикация: (2001)

Математический аппарат инженера: научное издание/
по: Сигорский, В. П. Виталий Петрович
Публикация: (1977)

Логика. Автоматы. Алгоритмы: научное издание/
по: Айзерман, М. А. Марк Аронович, et al.
Публикация: (1963)

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

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

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

Универсальная алгебра, алгебраическая логика и базы данных: научное издание/
по: Плоткин, Б. И. Борис Исаакович
Публикация: (1991)

Collected works
по: Goedel, Kurt
Публикация: (2001)

Неклассическая логика Сборник статей
Публикация: (1970)

Язык логики
по: Фрейденталь, Ханс
Публикация: (1969)

Популярная логика: общедоступный очерк логики предложений
по: Гжегорчик, Анджей
Публикация: (1979)

Элементарное введение в символическую логику
по: Бродский, Иосиф Нусимович
Публикация: (1972)

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

Логика, алгебра и базы данных: Пер. с англ./
по: Грэй, П. Питер
Публикация: (1989)

О математической логике и философии математики. Начальные сведения об основаниях математике: научное издание/
по: Ивс, Г.И, et al.
Публикация: (1968)

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

Математические вопросы кибернетики: Сборник статей/
Публикация: (1988)

Логика и компьютер моделирование рассуждений и проверка правильности программ
Публикация: (1990)

Множества. Логика. Аксиоматические теории
по: Столл, Роберт Р.
Публикация: (1968)

Основы кибернетики. Математические основы кибернетики [учебное пособие для студентов вузов, обучающихся по специальности "Автоматизированные системы управления"
Публикация: (1974)