Элементы анализа программ. Частичные функции на множестве состояний

Элементы анализа программ. Частичные функции на множестве состояний

Bibliographic Details
Main Author:	Абрамов С. А. Сергей Александрович
Language:	Russian
Published:	Москва, Наука, 1986
Series:	Библиотечка программиста
Subjects:	Численный анализ программы предикаты преобразования метод Хоора импликация функционалы погрешности анализ
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=281038

Similar Items

Numerical Methods for Scientists and Engineers
by: Hamming R. W.
Published: (New York, Dover Publications, 2013)

Прикладные методы и программирование в численном анализе: сборник трудов Научно-исследовательского вычислительного центра Московского университета
Published: (Москва, Изд-во МГУ, 1985)

Численный анализ: методы, алгоритмы, программы: сборник статей
Published: (Москва, Изд-во МГУ, 1988)

Численный анализ: пер. с англ.
by: Милн В. Э.
Published: (Москва, Изд-во иностранной литературы, 1951)

Численные методы обработки информации при исследовании динамических систем
by: Илюхин А. Г.
Published: (Киев, Наукова думка, 1971)

Численный анализ: сборник научных трудов
Published: (Новосибирск, Изд-во ИТИПМ, 1978)

Методы численного анализа, изложенные на языке формул и алгоритмическом языке C#
by: Колесников А. П. Александр Петрович
Published: (Москва, Либроком, 2017)

Численный анализ
Published: (Новосибирск, Наука, 1989)

Численные методы анализа и метод конечных элементов: пер. с англ.
by: Бате К.
Published: (Москва, Стройиздат, 1982)

Т. 2 : Численный анализ и теория обыкновенных дифференциальных уравнений; Избранные труды
Published: (1980)

Численный анализ: аналитические и топологические методы
by: Колесников А. П. Александр Петрович
Published: (Москва, Либроком, 2013)

Методы и алгоритмы численного анализа
Published: (Москва, Изд-во Московского ун-та, 1990)

Элементы теории функций и функционального анализа: учебник
by: Колмогоров А. Н. Андрей Николаевич
Published: (Москва, Наука, 1989)

Проблема логического следования в математической логике: лекция
by: Джиджян Р. З.
Published: (Ереван, Изд-во Ереванского ун-та, 1981)

Элементы функционального анализа
by: Люстерник Л. А. Лазарь Аронович
Published: (Москва, Наука, 1965)

Элементы теории функций и функционального анализа: учебное пособие
by: Колмогоров А. Н. Андрей Николаевич
Published: (М, Наука, 1968)

Элементы функционального анализа
by: Власова Е. А.
Published: (Санкт-Петербург, Лань, 2022)

Элементы теории функций и функционального анализа: учебник для вузов
by: Колмогоров А. Н. Андрей Николаевич
Published: (Москва, Наука, 1976)

Элементы теории функций и функционального анализа: учебник для вузов
by: Колмогоров А. Н. Андрей Николаевич
Published: (М, Наука, 1972)

Основания математической логики: пер. с англ.
by: Карри Х. Хаскелл
Published: (Москва, Мир, 1969)

Философско-методологические аспекты релевантной логики
by: Войшвилло Е. К. Евгений Казимирович
Published: (Москва, Изд-во МГУ, 1988)

Цветовой компонент сказочного мира; Коммуникативные аспекты языка и культуры; Ч. 2
by: Мищерикова М. А.
Published: (2015)

Вопросы теории импликации; Межкультурная коммуникация: теория и практика; Ч. 1
by: Бакланов Е. А.
Published: (2010)

Введение в численный анализ: учебное пособие
by: Барахнин В. Б. Владимир Борисович
Published: (СПб., Лань, 2005)

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

Элементы численного анализа и математической обработки результатов опыта: учебное пособие
by: Гутер Р. С. Рафаил Самойлович
Published: (Москва, Наука, 1970)

Исследование сжигания низкосортных казахстанских углей методом численного анализа; Современные техника и технологии; Т. 3
Published: (2012)

Изучение иностранных языков: проблемы и заблуждения; Современные проблемы науки и образования; № 1
by: Кобенко Ю. В. Юрий Викторович
Published: (2015)

Анализ документооборота на предприятии; Молодежь и современные информационные технологии
by: Агафонов В. С.
Published: (2006)

Элементы теории функций и функционального анализа: [учебное пособие]
by: Колмогоров А. Н. Андрей Николаевич
Published: (Москва, Мир, 1974)

Применение функционального анализа в теории приближений: межвузовский тематический сборник; [Вып. 8]
Published: (Калинин, Изд-во КГУ, 1978)

Элементы математического анализа. (Множества и операции над ними. Элементы математической логики): учебное пособие
by: Комов Н. П. Николай Павлович
Published: (Ярославль, Изд-во ЯГПИ, 1987)

Интеллектуальные системы контроля и управления. Системы с нечеткой логикой. Практикум
by: Сириченко А. В.
Published: (Москва, МИСИС, 2022)

Элементы функционального анализа: учебное пособие
by: Власова Е. А. Елена Александровна
Published: (Санкт-Петербург, Лань, 2015)

Автоматизация конструирования библиотек программ
by: Арушанян О. Б. Олег Багратович
Published: (Москва, Изд-во Московского ун-та, 1988)

Функциональный анализ: учебное пособие
by: Князев П. Н. Павел Николаевич
Published: (Москва, Едиториал УРСС, 2003)

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

Ассиметричное сжатие цилиндрических оболочек продуктами; Проблемы прочности; № 4
by: Герасимов А. В.
Published: (2003)

Функциональный анализ
by: Канторович Л. В. Леонид Витальевич
Published: (Москва, Наука, 1977)

Элементы численного анализа и математической обработки результатов опыта
by: Гутер Р. С. Рафаил Самойлович
Published: (Москва, Физматгиз, 1962)