Оглавление:
Главная страница djvu-student.narod.ru
Электрический привод
Математическая логика
Биология
Бжд
История
Психология
Литература
Экономика
Химия
Информатика
Юриспруденция
Высшая математика
Школьная математика
Сопротивление материалов
Теоретическая механика
Теоретические основы электротехники
Физика
Программы, бесплатный софт
Обратная связь
Наша кнопка


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

Скачать бесплатно учебник:

Смотреть подробнее главу №1 | Скачать одним файлом в формате pdf, размер 188 КБ
Множества и отношения
Понятие множества и антиномии
Аксиомы Цермело-Френкеля
Операции над отношениями
Отношение эквивалентности и фактор-множество
Отношение порядка
Принцип максимальности
Понятие мощности
Антиномия Кантора
Аксиома выбора и сравнения мощностей
Счетные множества
Булевы алгебры

Смотреть подробнее главу №2 | Скачать часть 2 в формате pdf, размер 149 КБ
БУЛЕВЫ ФУНКЦИИ
Функции и константы алгебры логики
Несущественные переменные и равенство функций
Специальные булевы функции
Реализация функций формулами
Совершенная дизъюнктивная нормальная форма
Минимизация методом карт Карно

Смотреть подробнее главу №3 | Скачать одним файлом в формате pdf, размер 168 КБ
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
Исчисление высказываний L
Теорема о дедукции
Интерпретации исчисления высказываний
Аксиомы Клини для исчисления высказываний
Теорема компактности для исчисления высказываний

Смотреть подробнее главу №4 | Скачать часть 4 в формате pdf, размер 230 КБ
Теории первого порядка
Термы и предикаты
Язык логики предикатов
Семантика языка логики предикатов
Модели теории первого порядка
Компактность и полнота языка первого порядка
Упрощение формул
Метод резолюций Робинсона

Смотреть подробнее главу №5 | Скачать одним файлом в формате pdf, размер 165 КБ
Нечеткая логика
Нечеткие множества
Логические операции
Нечеткие отношения
Пропозициональная нечёткая логика
Вывод с нечёткими посылками

Смотреть подробнее главу №6 | Скачать часть 6 в формате pdf, размер 220 КБ
Модальная и темпоральная логики
Синтаксис модальной логики
Семантика модальной логики
Алгоритмическая логика Хоара
Системы Гильберта
Темпоральная логика

Смотреть подробнее главу №7 | Скачать одним файлом в формате pdf, размер 177 КБ
АЛГОРИТМЫ И РЕКУРСИВНЫЕ ФУНКЦИИ
Частично рекурсивные функции
Машины Тьюринга
Вычислительная сложность

 Вверх...
Заметки:
» Тепловое оборудование, выбор и расчёт мощности
» Электропривод с двигателем постоянного тока приводит в движение лебедку
» Электротехника, решение задач это просто

Обучение за рубежём:
» Учеба в Великобритании
» Образование в Германии
» Образование в США
» Обучение во Франции

На этом сайте размещены ссылки на найденные в интернете книги, учебную литературу, интересный софт. Мы никак не связаны с сайтами, которые хранят научные труды на своих серверах. Все права принадлежат их авторам. Если у Вас есть авторские права на файлы и Вы не желаете чтобы они были доступны для поиска у нас, напишите нам.

Hosted by uCoz