Курсовая работа - Основные динамические свойства и их классификация

Курсовая работа

формат docx
размер 147.26 КБ
добавлен 04 апреля 2011 г.

Функционирующие и развивающиеся системы.
Основные переменные в динамике систем.
Определение функционирующей системы.
Некоторые способы задания функционирующих систем.
Система процессов.
Определение системы процессов; процессы.
Некоторые замечания о природе процессов и среды.
Основные динамические свойства и их классификация.
Основные и неосновные переменные динамики систем, множества их значений, типовые кванторы.
Определения динамических свойств. Классификация динамических свойств.

Похожие разделы

Смотрите также

Батыршин И.З. Основные операции нечеткой логики и их обобщения

формат djvu
размер 661.95 КБ
добавлен 21 августа 2010 г.

Казань: Отечество, 2001. - 100 с. В книге рассматриваются свойства операций конъюнкции, дизъюнкции и отрицания нечеткой логики и определяемых ими опереций пересечения, объединения и дополнения нечетких множеств. В первой главе рассматриваются классические опереации нечеткой логики, введенные Заде, и используются свойства алгебры Клини. Во второй главе изучаются инволютивные и неинволютивные операции отрицания и методы их генерации. В третьей гла...

Верещагин Н.К., Шень А. Начала теории множеств

формат pdf
размер 907.47 КБ
добавлен 04 октября 2009 г.

М.: МЦНМО, 2002 г. - 128 с. 150 задач различной трудности. По материалам лекций и семинаров для студентов младших курсов мехмата МГУ. Основные понятия "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Содержание: 1. Множества и мощности. 1.1. Множества. 1.2. Число элементов. 1.3. Равномощные множества. 1.4. Счётные множества. 1.5. Теорема Кантора-Бернштейна. 1.6. Теорема Кантора. 1.7. Функции. 1.8....

Дудаков С.М. Основы теории моделей

формат pdf
размер 2.15 МБ
добавлен 24 сентября 2010 г.

Учебнеое пособие. 2009. 291 с. Основы теории множеств (Аксиомы теории множеств. Наследственно конечные множества. Подмножества и декартовы произведения. Отношения и функции. Индуктивные множества. Аксиома выбора и аксиома регулярности. Упорядоченные множества. Частично упорядоченные множества. Решетки и булевы алгебры. Вполне упорядоченные множества. Ординалы. Определение и основные свойства. Трансфинитные построения. Арифметика ординалов. Мощно...

Крючкова Е.Н. Основы математической логики и теории алгоритмов

формат pdf
размер 1.07 МБ
добавлен 20 сентября 2011 г.

Учебное пособие. - Барнаул: Изд-во АлтГТУ, 2010. – 277 с. Содержание: Введение. Формальные теории. Формальные модели. Исчисление высказываний. Исчисление предикатов. Другие логические теории. Частично-рекурсивные функции. Свойства алгоритмов. Примитивно–рекурсивные функции. Оператор минимизации. Ограниченный оператор минимизации. Быстро растущие функции. Частично–рекурсивные функции и тезис Черча. Рекурсивные и рекурсивно перечислимы...

Курсовая работа - Кванторные теории

Курсовая работа

формат doc
размер 6.95 МБ
добавлен 11 июня 2010 г.

Определение кванторов, Аксиомы кванторных теорий, Свойства кванторов, Типовые кванторы, Обобщенные позитивно-образованные формулы (ПОФ), Граф позитивно-образованной формулы, Алгоритм метода редукции (алгоритм построения ), Теорема редукций, Исключение независимых типовых кванторов -27 стр

Курсовая работа - Теорема о неподвижной точке

Курсовая работа

формат doc
размер 113.5 КБ
добавлен 15 июня 2010 г.

Введение. Теорема о неподвижной точке. Неподвижная точка и отношения эквивалентности. Системный трюк: ещё одно доказательство. Несколько замечаний. Практическая часть. Заключение. Список литературы.

Лекции по математической логике

Статья

формат doc
размер 529.13 КБ
добавлен 17 ноября 2007 г.

Элементы математической логики, логические операции, логические функции, функцией алгебры логики, Свойства конъюнкции, дизъюнкции и отрицания, Свойства функций сложения по модулю 2, импликации, штриха Шеффера и стрелки Пирса (функции Вебба), Основные классы ФАЛ, Минимальные формы, Карты Карно, Тождественно истинные формулы, Отношение равносильности и эквивалентность, Элементы теории графов, Деревья на множестве вершин, Экстремальное дерево, Дерев...

Попов А.И. Введение в математическую логику

формат djvu
размер 1.33 МБ
добавлен 23 апреля 2011 г.

Ленинград: Издательство Ленинградского университета, 1959. - 109 с. Работа проф. А. И. Попова является первой советской книгой, в которой дается общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные направления современной математической логики, особое внимание уделяется вопросу о соотношении математической и классической (формальной) логики, рассматривается м...

Презентация - Голованов М.И. Нестандартные логики. Реляционная семантика

Практикум

формат pdf
размер 3.58 МБ
добавлен 01 февраля 2012 г.

Наглядное пособие / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 136 слайдов. Содержание: Введение. Классическая пропозициональная логика. Позитивная логика. Основные теоремы позитивной логики. Немодальные расширения позитивной логики. Расширение логики Lp с помощью константы ? Расширение логики Lp с помощью связки. Трансляции. Свойства некоторых расширений логики Lp. Модальные логики, нормальные...

Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста

формат pdf
размер 3.03 МБ
добавлен 21 сентября 2010 г.

М.: Наука, 1966. 120 с. Работа состоит из двух частей. В первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. Рассматриваются некотрые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производятся в следующей части. Во второй части строятся замкну...