Математическая логика

 
МГУ
Книга
Автор: Лоскутов А.Ю.,Михайлов А.С.
Систематически изложена теория самоорганизации при кооперативном поведении сильно неравновестных физических, химических и биологических системах
МГУ
Книга
Автор: А.Д.Морозов
Рассматриваются двух видов фракталы: конструктивные и динамические фракталы
МГУ
Книга
Автор: Н.К.Верещагин, А.Шень
Рассказывается об основных понятиях общей теории вычислимых функций, а также о конкретных вычеслительных моделях
МГУ
Книга
Автор: Ж.Палис, В.Ди Мелу
Изложение начинается с простых понятий и доводится до более сложных, связанных с многомерным фазовым пространством. Рассмотрены потоки в двумерном случае, ...
УГАТУ
Книга
Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам ...
МГУ
Книга
Автор: Дж.Д.Биркгоф
Содержит такие главы как: физическое рассмотрение динамических систем, вариационные принципы и их применения, формальное рассмотрение финамических систем и тп.
МГУ
Книга
Автор: С.О.Кузнецов
Содержит такие разделы как: динамический хаос, от порябка к хаосу, нелинейные колебания, нелиненые волны и т.д.
МГУ
Книга
Автор: Я.М.Ерусалимский
Содержит разделы: алгебры высказываний, алгебры предикатов и множеств, отображения, элементы комбинаторики, отношения, булевы функции и тп.
МГУ
Книга
Автор: В.А.Садовничий
Содержит работы посвященные простейшим действующим квантовым компьютерам, их конструкции, способу решения различных математических задач
МГУ
Книга
Автор: В.А.Садовничий
Для широкого круга читателей- интересующихся возможностями создания кантового компьютера и связанными с ним областями науки и техники
МГУ
Книга
Автор: А.Китаев, А.Шень, М.Вялый
Подробно излагаются основы теории квантовых вычислений, включая описание основных известных к настоящему времени эффективных квантовых алгоритмов
УГАТУ
Курсовая
Введение. Постановка задачи. Построение таблицы поведения и составления соответствующего графа. Кодирование данных. Построение графа. Построение таблицы ...
УГАТУ
Конспект
Лекции по математической логике. Основные понятия с примерами.
УГАТУ
Конспект
Элементы математической логики, логические операции, логические функции, функцией алгебры логики, Свойства конъюнкции, дизъюнкции и отрицания, Свойства функций ...
УГАТУ
Конспект
УГАТУ
Конспект
Операции логики Буля. Формы представления булевых операций. Методы доказательства в логике Буля. Задания на практическую работу по логике ...
УГАТУ
Конспект
Теория алгоритмов. Различные подходы к определению алгоритма. Машина с неограниченными регистрами (МНР). Машина Тьюринга - Поста. Нормальные алгоритмы ...
УГАТУ
Конспект
Краткий конспект. Теория алгоритмов, Булевы функции, Логические Исчисления, Предикаты и кванторы.
УГАТУ
Книга
Данное пособие является общедоступной иллюстрацией применения методов и алгоритмов Русской, истинно математической логики при решении логических задач. Все ...
МГУ
Книга
Автор: Е.Расёва, Р.Сикорский
Содержит такие разделы как: решетки, классичекая логика, неклассическая логика
МГУ
Книга
Автор: Н.К.Верещагин, А.Шень
Рассказывается об основных понятиях "наивной теории множеств" (мощности, упорядоченые множества, трасфинитная индукция, ординалы)
МГУ
Книга
Автор: В.В.Круглов
Аппарат нечетных множеств и нечётной логики уже давно с успехом применяется для решения задач, в которых исходные данные являются ненадежными и слабо ...
УГАТУ
Книга
Отсканена и сжата в DJVU формат
УГАТУ
Разное
Минимизатор выражений логических функций с учётом неопределённых состояний, необходима некоторым специальностям (АТП,МХ) для курсовых работ по предмету ...
УГАТУ
Лабораторная
Вариант А990, зачетка №547 Преподаватель Житников А.П. Простейшие алгоритмы. Структурные схемы и формулы. Многопоточная программная реализация. Техника ...
УГАТУ
Лабораторная
Образец расчетно-графической работы по МЛТА. Житников А.П.
УГАТУ
Лабораторная
Первая и вторая части. Житников. 2007
УГАТУ
Лабораторная
РГР по МЛТА, вариант А-470. Житников. Зачетка заканчивается на 339,2004 год
УГАТУ
Лабораторная
Параллельные алгоритмы. Техника структурных построений. Параллельные алгоритмы. Временные диаграммы. Параллельные алгоритмы. Вербальные тексты. Простые ...
УГАТУ
Лабораторная
РГР по МЛТА (Житников А.П.), вариант А020, зачетка заканчивается на 541, прога по 1 и 3 частям. Параллельные логико-алгоритмические системы.
УГАТУ
Лабораторная
РГР по МЛТА (Житников А.П.), вариант А400, зачетка заканчивается на 542. Параллельные логико-алгоритмические системы.
УГАТУ
Лабораторная
РГР по МЛТА (Житников А.П.), вариант А600, зачетка заканчивается на 542, прога по 1 и 3 частям. Параллельные логико-алгоритмические системы.
УГАТУ
Лабораторная
РГР по МЛТА (Житников А.П.), вариант А090, зачетка заканчивается на 567. Параллельные логико-алгоритмические системы.
УГАТУ
Лабораторная
РГР по матлогике №1 Житников А.П.
УГАТУ
Лабораторная
РГР по Матлогике №1 (вариант А580) зачётка заканчивается на 491
УГАТУ
Лабораторная
РГР по Матлогике №2 (вариант А580) зачётка заканчивается на 491
УГАТУ
Лабораторная
РГР по Матлогике №3 (вариант А580) зачётка заканчивается на 491
УГАТУ
Лабораторная
РГР по Матлогике №4 (вариант А580) зачётка заканчивается на 491
УГАТУ
Лабораторная
РГР по Матлогике №5 + прога (вариант А580) зачётка заканчивается на 491 P.S. чтобы открыть прогу нужно установить Python
УГАТУ
Лабораторная
РГР по Матлогике №6 (вариант А580) зачётка заканчивается на 491
УГАТУ
Лабораторная
РГР по Матлогике №7 (вариант А580) зачётка заканчивается на 491
МГУ
Книга
Автор: Р.Л.Гудстейн
Содержит разделы такие как: рекурсивная теория чисел, рекурсивный анализ
МГУ
Книга
Автор: Г.М.Заславский, Р.З.Сагдеев, Д.А.Усиков
Посвящена теории зарождения хаоса в гамильтоновских системах. Изложены основные вопросы теории стохастического слоя и стохастической паутины
МГУ
Книга
Автор: Давид Рюэль
Представлены основные идеи нелинейной динамики, детерминирования хаоса. Содержит множество интересных историчеких подробностей, а ткаже обзор некоторых новых ...
МГУ
Книга
Автор: Н.Г.Ван Кампен
Изложены вопросы теории вероятностей, случайных событий и стохастических процессов
УГАТУ
Книга
Геометрический метод. Метод неопределенных коэффициентов. Метод минимизирующих карт Карно. Метод Квайна. Метод Патрика нахождение всех возможных тупиковых ...
МГУ
Книга
Автор: А.Л.Эфрос
Содержит подробное изложение теории протекания и ее различных применений. Дается общее представление о вероятностях и случайных велечинах, излагаются правила ...
МГУ
Книга
Автор: Е.Федер
Даётся ясное и простое изложение математических свойств фракталов и описываются приложения теории фракталов в гидродинамике, океанологии, гидрологии, в ...
МГУ
Книга
Автор: Божокин С.В., Паршин Д.А.
Посвящено изложению основных идей фрактальной и мультифрактальной геометрии. Примеры различных фрактальных структур можно встретить во многих явлениях природы
МГУ
Книга
Автор: Р.М.Кроновер
Книга представляет собой вводный курс теории фракталов и теории хаоса, рассматривает вопрос о том, как некоторые фракталы могут порождать хаос
МГУ
Книга
Автор: Ричард М. Кроновер
Представляет собой вводный курс теории фракталов и теории хаоса, а также рассматривает вопрос о том, как некоторые фракталы могут порождать хаос
МГУ
Книга
Автор: М.Шредер
Книга поможет понять, что такое самоподобие, а также продемонстрировать широчайший диапазонтприменений масштабной инвариантностти в физике, химии, биологии т.д.
МГУ
Книга
Автор: Мандельборт Б.
Содержит такие разделы как: три классических фрактала, галактики и вихри, масштабно- инвариантные фракталы, немасштабируемые фракталы и т.д.
МГУ
Книга
Автор: Н.К.Верещагин, А.Шень
Рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний и т.д.)