Уважаемые студенты и аспиранты! В фонд нашей электронной библиотеки добавлено учебное пособие «Математическая логика и теория алгоритмов». Авторы: О. Ю. Агарева, Ю. В. Селиванов Издание: МАТИ им. К. Э. Циолковского, Москва, 2011 г. Кому будет полезно? Издание рекомендовано учебно-методическим советом (УМС) для студентов и аспирантов всех форм обучения. Книга станет незаменимым помощником при освоении базовых и профильных дисциплин: «Математическая логика и теория... далее

Комментариев: 0

Представляю учебник по дискретной математике, издательство МАИ, 1992 год

Комментариев: 0

Представленный текст предназначен для студентов второго курса ФУПМ, имеющих в учебной программе предмет «Дополнительные главы дискретного анализа». Он содержит все необходимые определения, леммы, теоремы и формулы, которые использует преподаватель, однако комментарии, смысл и, зачастую, сущность задач и вопросов, на усвоение и прояснение которых данная дисциплина направлена, остались за рамками текста.

Комментариев: 0

В этом томе описывается исчисление высказываний и предикатов, а также приводятся основные свойства классов, отношений и типов. На русском языке.

Комментариев: 0

Коллеги-заочники, всем привет!   Хочу поделиться с вами отличным материалом, который серьезно помог мне в учебе. Речь идет о презентации по курсу «Алгебра логики», которую читает преподаватель ВШЭ — Шварц.   Это не сухие слайды, а действительно проработанная презентация, где сложные темы разбираются максимально структурированно и понятно. Материал охватывает ключевые разделы предмета и идеально подходит для подготовки к экзаменам и зачетам.  

Комментариев: 0

Учебник по дискретной математике Д. Шварца (дают как учебное пособие на ФКН вышки при изучении предмета)

Комментариев: 1

Издание 2−е, исправленное:

Комментариев: 0

Введение в дискретную математику, много различных тем от простых до сложных:

Комментариев: 0

Математическая индукция — очень популярный способ рассуждений. В данном материале очень понятным языком описан сам метод и представлены интересные и разнообразные задачи:

Комментариев: 0

Здравствуйте! Изучаю раздел "Основа математической логики" и там есть такой параграф: "Недоказанная теорема называется гипотезой , и варианта тут два: либо она выводит из истины истину и представляет собой теорему, либо гипотеза невернА, т.е. из множества истинных посылок А1, А2, А3...Аn и тд следует «не бэ»: | (A1 & A2 & A3 ... & An) => !B | = 1." И вот тут я не понимаю, как импликация истинного А и не B равна 1, а не 0. Ведь согласно таблицы истинности, должен быть 0. Или я что-то не так понял?

Комментариев: 1