Абачиев С.К. Курс современной логики. Часть 1. Формальная логика как опытная наука

формат doc
размер 162 КБ
добавлен 16 января 2012 г.

Книга представляет собой полную версию курса со-временной логики с частью 1, в которой представлена традиционная форма-льная логика с новой расстанов-кой акцентов на специфической опытной природе этой науки. Книга является полной версией монографии «Эволюционная теория познания. (Опыт системати-ческого построения.)», снабжённой соответствующими прак-тикумами к частям 1 и
2. В электронной версии книга полностью набрана, свёрстана и отредактирова-на. Готова в качестве 2-го, дополненного и перерабо-танного, издания монографии «Эволюционная теория познания. (Опыт систематического построения.)»

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

Абачиев С.К. Курс современной логики. Часть 2. Начала эволюционной гносеологии

формат doc
размер 61 КБ
добавлен 16 января 2012 г.

Книга представляет собой полную версию курса современной логики с частью 1, в которой представлена традиционная форма-льная логика с новой расстановкой акцен-тов на специфической опытной природе этой науки. Книга является полной версией монографии «Эволюционная теория позна-ния. (Опыт систематического построе-ния.)», снабжённой соответствующими прак-тикумами к частям 1 и 2. В электронной версии книга полностью набрана, свёрстана и отредактирована...

Аляев Ю.А., Тюрин С.Ф. Дискретная математика и математическая логика

формат djv
размер 2.09 МБ
добавлен 25 апреля 2009 г.

Москва, "Финансы и статистика", 2006. 368 с. Рассматриваются основные темы дискретной математики и математической логики: теория множеств, элементы комбинаторики, теория графов, теория переключательных функций и автоматов, теория кодирования, формальная логика, логические исчисления, формальные теории и теория алгоритмов, элементы теории нечетких множеств.

Ахметова Н.А., Усманова З.М. Дискретная математика. Функции алгебры логики. Учебное пособие

формат doc
размер 3.77 МБ
добавлен 08 апреля 2011 г.

Редакционно – издательский комплекс УГАТУ, 2000 Элементы комбинаторики Перестановки. Размещения. Сочетания Задачи по комбинаторике Функции алгебры логики Элементарные функции алгебры логики Формульное задание функций алгебры логики Принцип двойственности Разложение булевой функции по переменным Полнота, примеры полных систем Замыкание и замкнутые классы Функции k – значной логики Задачи и упражнения по функциям алгебры логики Миними...

Ахметова Н.А., Усманова З.М. Дискретная математика. Функции алгебры логики. Учебное пособие

формат doc
размер 3.79 МБ
добавлен 30 мая 2011 г.

Содержание. Элементы комбинаторики. Перестановки. Размещения. Сочетания. Задачи по комбинаторике. Функции алгебры логики. Элементарные функции алгебры логики. Формульное задание функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Полнота, примеры полных систем. Замыкание и замкнутые классы. Функции k – значной логики. Задачи и упражнения по функциям алгебры логики. Минимизация булевых функций. Минимизация нор...

Лекции по дискретной математике

Статья

формат doc, txt
размер 708.04 КБ
добавлен 17 января 2009 г.

Математическая логика. Алгебра высказываний. Функции алгебры логики. Минимизация булевых функций. Анализ и синтез логических сетей. Логические сети.

Лекции по дискретной математике

Статья

формат jpg
размер 21.03 МБ
добавлен 20 июня 2009 г.

Скан с тетради преподавателя. Теория множеств. Булева алгебра, алгебра логики, математическая логика, исчисление высказываний. Теория графов. Теория автоматов.rn

Лекции по дискретной математике

Статья

формат doc
размер 734.14 КБ
добавлен 13 марта 2009 г.

МГТУ "Станкин", кафедра прикладной математики Двузначная логика: - Функции алгебры логики. - Суперпозиция и формулы. - Булева алгебра. - Алгебра Жегалкина. - Нормальные формы логических функций. - Минимизация функций. - Полнота и замкнутость. К-значная логика: - Элементарные функции. - Основные свойства элементарных функций. - Основные формы функций. - Представление функций полиномами. - Полнота и замкнутость. Элементы теории графов:...

Соловьева Т.В. Элементы математической логики и теории графов

формат pdf
размер 1.29 МБ
добавлен 27 декабря 2011 г.

Учебное пособие. - СПб: СПбГУГА, 2010,- 113 с. Рассматриваются основные понятия математической логики и теории графов, которые являются составной частью курса дискретной математики. Математическая логика исследует соотношения между основными понятиями, на базе которых доказываются математические утверждения. Теория графов широко применяется при установлении разного рода соответствий, при составлении сетевых графиков, структурных схем предприятий...

Учебник по дискретной математике

Статья

формат doc
размер 878.8 КБ
добавлен 31 июля 2004 г.

Элементы комбинаторики. Перестановки. Размещения. Сочетания. Задачи по комбинаторике. Функции алгебры логики. Элементарные функции алгебры логики. Формульное задание функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Полнота, примеры полных систем. Замыкание и замкнутые классы. Функции k – значной логики. Задачи и упражнения по функциям алгебры логики. Минимизация булевых функций. Минимизация нормальных фор...

Фоминых Е.А. Лекции по дискретной математике: функциональные системы с операциями

формат pdf
размер 249.9 КБ
добавлен 28 ноября 2008 г.

Функциональные системы с операциями. Алгебра логики. Функции алгебры логики. Равенство функций и эквивалентность формул. СДНФ. Операция замыкания. Полнота. Важнейшие замкнутые классы. Критерий полноты. к-значная логика. Функции к-значной логики. Аналог СДНФ. Операция замыкания и полнота. Алгоритм распазнования полноты. Теорема Кузнецова о полноте. Критерий слупецкого. Особенности к-значных логик.