Реферат - Формальні моделі алгоритмів та алгоритмічно обчислюваних функцій

Навчальний посібник. - Львів: Львівський національний університет імені Івана Франка, 2007. - 152. Метою даної книжки є виклад базових тем математичної логіки, до входять до програм цього курсу для студентів механико-математичних факультетів університетів у зручній для сприйняття формі. Зміст: Розділ I. Семіотика, логічні мови і алгебра висловлень. Семіотика і загальна фнформація про мови першого порядку. Висловлення та дії над ними. Бульові алге...

ТТИ ЮФУ, ФАВТ, САиТ(230102),2курс,3 семестр.2010г. 13 листов+титульник. Содержит: Введение. История создания СППР. Классификации СППР. теория принятия решения. Проблема эргодичности. Принятие решений в условиях неопределённости. Выбор при неопределённости. Пари Паскаля — выбор при неопределённости. Ошибки первого и второго рода. Альтернативы теории вероятностей. Парадокс выбора. Моделирование принятия решений.

Реферат: Решения дифференциальных логических уравнений, алгоритм «Селигер», Алгоритм «ТВАТ», Литература.

Вступ. Нечіткі множини. Основні характеристики нечітких множин. Методи побудови функцій приналежності нечітких множин. Операції над нечіткими множинами. Властивості множини нечітких підмножин. Нечітка логіка висловлень. Нечітка лінгвістична логіка. Нечіткі множини в системах керування. Переваги нечітких систем. Висновок. Використана література.

Вінниця, 2007. Конспект лекцій відповідає діючій програмі з математичної логіки і теорії алгоритмів для математичних спеціальностей педагогічних університетів. Зміст: Вступ. 1. Логіка висловлень. Логічні операції над висловленнями. Логічне слідування в логіці висловлень. Рівносильність формул логіки висловлень. Нормальні форми. Повні системи булевих функцій. Алгебра Жегалкіна. Замкнені класи булевих функцій. Теорема про функціональну повноту. 2....