Вычислительные системы: Сборник научных трудов/

Вычислительные системы: Сборник научных трудов/ 156, Структурные алгоритмические свойства вычислимости/Ред. Ю. Л. Ершов, Ред. С. С. Гончаров

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

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

Проектирование многоэтажных каркасных зданий с диафрагмами жесткости немонотонного типа Обзорная информация
по: Карабанов, Борис Владимирович
Публикация: (1988)

Достоверный и правдоподобный вывод в интеллектуальных системах
Публикация: (2004)

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

О полных модулях
по: Корнев, А. И.

Алгебра логики в задачах
по: Гиндикин, Семен Григорьевич
Публикация: (1972)

Международная конференция по алгебре, посвященная памяти А. И. Ширшова (1921-1981) (Барнаул, 20-25 августа1991 г.) тезисы докладов по логике и универсальным алгебрам, прикладной алгебре
Публикация: (1991)

Труды по дискретной математике [сборник
Публикация: (2008)

Положительные решения операторных уравнений главы нелинейного анализа
по: Красносельский, Марк Александрович
Публикация: (1962)

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

Вычислительные системы: Сборник научных трудов/
Публикация: (1978)

Вычислительные системы: Сборник научных трудов/
Публикация: (1997)

Об одном классе вещественно замкнутых упорядоченных полей
по: Галанова, Наталия Юрьевна

Дискретная математика учебное пособие
по: Матросова, Анжела Юрьевна
Публикация: (2007)

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

Вычислительные системы: Сборник научных трудов/
Публикация: (1978)

Вычислительные системы: Сборник научных трудов/
Публикация: (1990)

Вычислительные системы: Сборник научных трудов/
Публикация: (1993)

Вычислительные системы: Сборник научных трудов/
Публикация: (1991)

Вычислительные системы: Сборник научных трудов/
Публикация: (1992)

Вычислительные системы: Сборник научных трудов/
Публикация: (1987)

Вычислительные системы: Сборник научных трудов/
Публикация: (1985)

Прикладная математика (элементы дискретной математики) Учебное пособие по дискретной математике для студентов 1 курса
по: Вшивцев, Александр Сергеевич
Публикация: (1996)

Счетные булевы алгебры и разрешимость
по: Гончаров, Сергей Савостьянович
Публикация: (1996)

Вычислительные системы: Сборник научных трудов/
Публикация: (1979)

Вычислительные системы: Сборник научных трудов/
Публикация: (1977)

Вычислительные системы: Сборник научных трудов.
Публикация: (1996)

Вычислительные системы: Сборник научных трудов/
Публикация: (1987)

Вычислительные системы: Сборник научных трудов/
Публикация: (1988)

Введение в дискретную математику Учебное пособие для вузов по специальности "Прикладная математика"
по: Яблонский, Сергей Всеволодович 1924-1998
Публикация: (1986)

Введение в дискретную математику Учебное пособие для вузов по специальности "Прикладная математика"
по: Яблонский, Сергей Всеволодович 1924-1998
Публикация: (2002)

Вычислительные системы: Сборник научных трудов/
Публикация: (1991)

Общая алгебра В 2 т.
по: Скорняков, Лев Анатольевич
Публикация: (1991)

Вычислительные системы: Сборник научных трудов/
Публикация: (1984)

Вычислительные системы: Сборник научных трудов/
Публикация: (1981)

Введение в дискретную математику [учебное пособие для студентов вузов, обучающихся по специальности "Прикладная математика"]
по: Яблонский, Сергей Всеволодович 1924-1998
Публикация: (2003)

Современные системы коммутации в электросвязи/
по: Хоббс, М. Мервин
Публикация: (1978)

Вычислительные процессы и системы Сб. ст.
Публикация: (1993)

Вычислительные системы: Сборник научных трудов/
Публикация: (1990)

Программирование: введение в профессию
по: Столяров, Андрей Викторович 1974-
Публикация: (2016)

Дискретная математика для инженера
по: Кузнецов, Олег Петрович
Публикация: (2009)