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