Математическая информатика

Математическая информатика

Bibliographic Details
Main Author:	Чечкин А. В. Александр Витальевич
Language:	Russian
Published:	Москва, Наука, 1991
Subjects:	Математическая информатика информатика математическая логика вычислительная математика задачи теория решения
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=35044

Similar Items

Прикладные задачи фильтрации и управления
by: Богуславский И. А. Иосиф Аркадьевич
Published: (Москва, Наука, 1983)

Компьютерная математика: учебное пособие
by: Сардак Л. В. Любовь Владимировна
Published: (Москва, Горячая линия-Телеком, 2016)

Вып. 24: Математические проблемы информатики; Вычислительная техника и вопросы кибернетики
Published: (1987)

Компьютерная математика: учебное пособие
by: Титов К. В. Константин Викторович
Published: (Москва, Инфра-М, 2016)

Динамика логических устройств и систем
by: Левин В. И. Виталий Ильич
Published: (Москва, Энергия, 1980)

Летняя учебная практика (Пакет Mathematica): электронный курс
by: Богданов А. В. Алексей Викторович
Published: (Томск, TPU Moodle, 2019)

Discrete Mathematics for Computer Scientists
by: Truss J. K.
Published: (Addison-Wesley Publishing Company, 1999)

Ч. 2: Механика и процессы управления. Вычислительные методы и информатика. Кубатурные формулы и решения интегральных уравнений. Математическая геофизика; Четвертый сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ - 2000)
Published: (2000)

Учимся информатике: задачи и методы их решения: учебное пособие
by: Гусева А. И. Анна Ивановна
Published: (Москва, Диалог-МИФИ, 2001)

Математическая логика: Курс лекций. Задачник-практикум и решения
by: Лихтарников Л. М.
Published: (СПб., Лань, 1999)

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

Логический словарь-справочник
by: Кондаков Н. И. Николай Иванович
Published: (Москва, Наука, 1975)

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

Вып. 56 : Прикладные алгоритмы дискретной математики; Алгоритмы
Published: (1985)

Методические проблемы математической физики
by: Яненко Н. Н. Николай Николаевич
Published: (Новосибирск, Наука, 1986)

Многоцветная логика.175 логических задач: пер. с венг.
by: Бизам Д. Дьердь
Published: (Москва, Мир, 1978)

Дискретная математика: учебник для вузов
by: Соболева Т. С. Татьяна Сергеевна
Published: (Москва, Академия, 2014)

О кооперируемых работах НИВЦ МГУ и БУВЦ: сборник статей
Published: (Москва, Изд-во Московского ун-та, 1990)

Информатика и математика: учебник и практикум для прикладного бакалавриата
by: Попов А. М. Александр Михайлович
Published: (Москва, Юрайт, 2015)

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

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

Математическая логика
by: Гладкий А. В. Алексей Всеволодович
Published: (Москва, Изд-во Российского ГГУ, 1998)

Логика в информатике: Методическое пособие
by: Лыскова В. Ю. Вероника Юрьевна
Published: (Москва, Лаборатория Базовых Знаний, 2004)

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

Вычислительная информатика: открытие науки
by: Ильин В. П. Валерий Павлович
Published: (Новосибирск, Наука, 1991)

Дискретная математика: учебник
by: Соболева Т. С. Татьяна Сергеевна
Published: (Москва, Академия, 2014)

Информатика: учебник для вузов
by: Каймин В. А. Виталий Адольфович
Published: (Москва, Инфра-М, 2002)

Вып. 1: Проблемы современного программирования; Системная информатика
Published: (1991)

Избранные труды; Теория множеств. Математическая логика и алгебра
by: Новиков П. С. Петр Сергеевич
Published: (Москва, Наука, 1979)

Конструктивная математическая логика с точки зрения классической
by: Новиков П. С. Петр Сергеевич
Published: (Москва, Наука, 1977)

Математика и информатика: учебное пособие для вузов
by: Турецкий В. Я. Владимир Яковлевич
Published: (Москва, Инфра-М, 2002)

Информатика в задачах и упражнениях
by: Поддубная Т. Н. Тамара Николаевна
Published: (Томск, Раско, 1992)

Информатика и математика: учебник и практикум для академического бакалавриата
Published: (Москва, Юрайт, 2016)

Математическая экономика: методические указания для проведения лабораторных занятий
by: Ротарь В. Г. Виктор Григорьевич
Published: (Томск, 2009)

Введение в математическую логику: учебное пособие
by: Колмогоров А. Н. Андрей Николаевич
Published: (Москва, Изд-во Московского ун-та, 1982)

Метрология, стандартизация и сертификация: учебное пособие
by: Эрастов В. Е. Виктор Евгеньевич
Published: (Москва, Форум, 2008)

Определимость и вычислимость
by: Ершов Ю. Л. Юрий Леонидович
Published: (Москва, Экономика, 2000)

Программирование. Математические основы, средства, теория: учебное пособие
by: Лавров С. С. Святослав Сергеевич
Published: (СПб., БХВ-Петербург, 2001)

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

Избранные труды
by: Ершов А. П. Андрей Петрович
Published: (Новосибирск, Наука, 1994)