Исследования по теории структур: сборник научных трудов

Исследования по теории структур: сборник научных трудов

Bibliographic Details
Corporate Author:	Академия наук СССР (АН СССР) Институт проблем управления им. В. А. Трапезникова (ИПУ)
Other Authors:	Айзерман М. А. (редактор), Каянелло Э. Р.
Language:	Russian
Published:	Москва, Наука, 1988
Subjects:	Структуры > (математика) теория исследования анализ предикаты C-исчисления применение сложные системы структура модулярность естественные языки геометрический подход нелинейные уравнения
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=247652

Similar Items

Конфликтующие структуры
by: Лефевр В. А. Владимир Александрович
Published: (Москва, Советское радио, 1973)

Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примеры
by: Гуров С. И. Сергей Исаевич
Published: (Москва, УРСС, 2012)

Основания математики. Логические исчисления и формализация арифметики.
by: Гильберт Д. Давид
Published: (Москва, Наука, 1979)

Основания математики. Логические исчисления и формализация арифметики.
by: Гильберт Д. Давид
Published: (Москва, Наука, 1982)

Разбиение социальной группы на проектные мини-группы с помощью социально-сетевого анализа; Современные технологии поддержки принятия решений в экономике
by: Королева Е. А.
Published: (2015)

Подход к формированию проектных команд из студенческой группы; Перспективы развития фундаментальных наук; Т. 3 : Математика
by: Булыгин Л. Э.
Published: (2016)

Элементы теории систем
by: Марасанов В. В. Владимир Васильевич
Published: (Кишинев, Штиинца, 1991)

Математика без формул
by: Пухначев Ю. В. Юрий Васильевич
Published: (Москва, Столетие, 2003)

Математическая логика и теория алгоритмов: учебное пособие
by: Гурова Л. М. Любовь Михайловна
Published: (Москва, Изд-во МГГУ, 2006)

Структуры и алгоритмы обработки данных. Объектно-ориентированный подход и реализация на C++: учебное пособие
by: Кубенский А. А.
Published: (СПб., БХВ-Петербург, 2004)

Лекции по математической логике и теории алгоритмов: учебное пособие; Ч. 2; Языки и исчисления
by: Верещагин Н. К
Published: (Москва, МЦНМО, 2000)

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

Математические методы исследования сложных систем, процессов и структур: Сборник научных трудов
Published: (Москва, Изд-во МГОПУ, 1998)

Математическая логика: учебное пособие
by: Ершов Ю. Л. Юрий Леонидович
Published: (СПб., Лань, 2004)

Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие для вузов
by: Косовский Н. К. Николай Кириллович
Published: (Ленинград, Изд-во Ленинградского ун-та, 1981)

Математическая логика: пер. с англ.
by: Клини С. К. Стефан Коул
Published: (Москва, Мир, 1973)

Основания физики природы
by: Лобановский М. Г. Михаил Григорьевич
Published: (Москва, Высшая школа, 1990)

Алгоритм управления манипулятором KUKA youBot с геометрическим подходом решения обратной кинематики с учетом физических ограничений; Научная инициатива иностранных студентов и аспирантов
by: Нгуен Хоанг Тиен
Published: (2025)

Математическая логика: курс лекций; учебное пособие
by: Тимофеева И. Л. Ирина Леонидовна
Published: (Москва, Университет, 2007)

Математика без формул; Вып. 3
by: Пухначев Ю. В. Юрий Васильевич
Published: (Москва, Знание, 1979)

Программирование на языке высокого уровня C/C++: учебное пособие
by: Хабибуллин И. Ш.
Published: (СПб., БХВ-Петербург, 2006)

Наука программирования: пер. с англ.
by: Грис Д. Дэвид
Published: (Москва, Мир, 1984)

Фундаментальные алгоритмы на C ++: Части 1-4. Анализ. Структуры данных. Сортировка. Поиск; пер. с англ.
by: Седжвик Р. Роберт
Published: (Киев, ДиаСофт, 2001)

Элементы модальной логики: монография
by: Костюк В. Н. Владимир Николаевич
Published: (Киев, Наукова думка, 1978)

Математическая лингвистика: пер. с англ.
Published: (Москва, Мир, 1964)

Кентавр, или Как математика помогает физике
by: Соколов Э. Т. Эдгар Терентьевич
Published: (Минск, Вышэйшая школа, 1988)

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

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

Логико-лингвистические модели в системах управления
by: Поспелов Д. А. Дмитрий Александрович
Published: (Москва, Энергоиздат, 1981)

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

Введение в дифференциальное и интегральное исчисление: пер. с нем.
by: Ландау Э. Эдмунд
Published: (Москва, Иностранная литература, 1948)

Геометродинамические методы и калибровочный подход к теории гравитационных взаимодействий
by: Пономарев В. Н. Владимир Николаевич
Published: (Москва, Энергоатомиздат, 1985)

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

Язык программирования C++ для начинающих и не только
by: Кучеренко В. Василий
Published: (Москва, Майор, 2001)

C/C++ и Borland C++ Builder для студента
by: Пахомов Б. И. Борис Исакович
Published: (СПб., БХВ-Петербург, 2006)

Математическая теория логического вывода: сборник переводов
Published: (Москва, Наука, 1967)

Математическая логика: учебное пособие
by: Ершов Ю. Л. Юрий Леонидович
Published: (Москва, Наука, 1979)

Лекции по математической логике: учебное пособие
by: Мощенский В. А. Владимир Андреевич
Published: (Минск, Изд-во Белорусского гос. ун-та, 1973)

Математика для экономистов; Ч. 2
by: Кочегурова В. Г.
Published: (Томск, Изд-во НТЛ, 1997)

Методы анализа и синтеза нелинейных цепей: сборник научных трудов
Published: (Киев, Наукова думка, 1982)