Моделирование вычислительных процессов средствами...

Main
Mathematics - Logic
Моделирование вычислительных процессов...

Моделирование вычислительных процессов средствами пропозициональных логик

А.В.Чагров

0 / 0

Jak bardzo podobała Ci się ta książka?

Jaka jest jakość pobranego pliku?

Pobierz książkę, aby ocenić jej jakość

Jaka jest jakość pobranych plików?

Kategorie:

Mathematics - Logic

Rok:

1997

Wydawnictwo:

ИППИ РАН

Język:

russian

Strony:

292

Plik:

PDF, 1.54 MB

IPFS:

,

russian, 1997

Ściągnij (pdf, 1.54 MB)

Trwa konwersja do

Konwersja do nie powiodła się

Możesz być zainteresowany

А. Крайко — Газовая динамика

Сергей Н. Тронин — Введение в универсальную и категорную алгебру. Часть I. Классическая алгебра [Lecture notes]

Сергей Н. Тронин — Введение в универсальную и категорную алгебру. Часть II. Универсальная алгебра [Lecture notes]

Петухов А.П. — Введение в теорию базисов всплесков (вейвлеты)

Кулабухов С.Ю. — Дискретная математика

Миронов А.М. — Математическая логика

Насыров А.З, Насыров З.Х. — Дискретная математика

Сидоренко В.В. — Малые колебания в механических системах

Нарбут М.А., Райнес А.А. — Методы математической физики

Марчук Г.И. — Сопряженные уравнения

Лосик М.В. — Сборник задач по топологии

Андрамонов М.Ю. — Методы глобальной минимизации для некоторых классов обобщённо выпуклых функций

Володин И.Н. — Лекции по теории вероятностей и математической статистике

Володин И.Н. — Математическая статистика

Добронец Б.С. — Интервальная математика

Клименко С.В., Лисина М.В., Фомина Н.М. — Руководство для пользователя AMS-TeX

Новикова Н.М. — Основы оптимизации (курс лекций)

Теляковский С.А. — Курс лекций по математическому анализу (1 сем.)

— AMS-LaTeX версия 1.2 (руководство пользователя)

— Основные понятия LaTeXa

Питон. — Курс лекций

Черухин Д.Ю. — Материалы семинаров по дискретной математике

Иванов В.В. — Астрофизика звезд

Коньков А. А. — Уравнения эллиптического типа (конспект лекций)

Петухов Александр Павлович — Введение в теорию базисов всплесков. Учебное пособие

Лариончиков Р.С. — Некоторые аналоги формулы Планшереля-Ротаха для классических ортогональных многочленов(Диссертация)

Петухов А.П. — Введение в теорию базисов всплесков

Серебряков В.А. Галочкин М.П. — Основы конструирования компиляторов

Аллилуев Амосов — Некоторые приложения теории функций комплексного переменного в физике

Гумеров Р.Н. — Элементы общей топологии: Учебно-методическое пособие

Шапуков Б.Н., Шурыгин В.В., Игудесман К.Б., Малахальцев М.А., Фомин В.Е., Шустова Е.П. — Темы курсовых работ и самостоятельных научных исследований по геометрии для студентов I-II курсов: Учебно-методическое пособие

Тронин С.Н. — Введение в теорию групп. Задачи и теоремы. Часть 1: Учебное пособие

Тронин С.Н. — Введение в теорию групп. Задачи и теоремы. Часть 2: Учебное пособие

Салехов Л.Г., Салехова И.Г., Бикчантаев И.А. — Уравнения математической физики: Методическая разработка для практических занятий

Салехов Л.Г., Бикчантаев И.А. — Уравнения математической физики (анализ и синтез Фурье): Методические разработки курса лекций

Najbardziej popularne frazy