Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3.
В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.
Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов.

учебники и пособия для вузов

математика

информатика и вычислительная техника

прикладная информатика

кодирование информации

дискретная математика

прикладная математика

Дискретная математика. Формально-логические системы и языки

Дискретная математика. Алгоритмы: теория и практика

Информатизация бизнеса. Управление рисками

Дискретная математика. Модулярная алгебра, криптография, кодирование

современная русская литература

современные любовные романы

современная зарубежная литература

книги о приключениях

стихи и поэзия

русская классика

мистика

любовное фэнтези

биографии и мемуары

современные детективы

короткие любовные романы

сказки

попаданцы

литература 19 века

научная фантастика

саморазвитие / личностный рост

триллеры

публицистика

зарубежная классика

Современная история женщины о её непростых взаимоотношениях с мужчинами. Когда супружеский долг превращается в обязанность, в повинность, в необходимость. Может ли она поверить, что есть другие взаимоотношения мужчины и женщины, основанные на любви? Сможет ли она довериться им?

конфликты

Мой милый Лучик

Анна, молодая и энергичная учительница литературы и русского языка, славится своим добрым характером и необычным подходом к преподаванию. Её уроки — это театр эмоций, где дети проживают стихи и рассказы, чувствуют слова. Дмитрий, 31-летний учитель физики, напротив, строг, саркастичен и придерживается научной точности во всём, включая общение. Он давно замечает Анну, но её творческая манера его раздражает.

Однако всё меняется, когда директор поручает им подготовить совместный урок для семинара. Это испытание для обоих, но и шанс увидеть друг друга в новом свете.

педагогика

Совмещенный урок

Мастер маникюра, ощутивший в себе талант писателя, глава семейства, сожалеющий о потраченной на учёбу молодости, неудавшаяся стриптизёрша в попытке спасти отношения и земляки, нашедшие друг друга в горах Перу — все они сделали попытку изменить свою жизнь.
 У каждого героя есть собственный рассказ и ответ на вопрос: "А стоило ли?"
Сборник из десяти рассказов о том, как одна исчезнувшая вещь, один потерянный человек или упущенный момент меняют наши жизни навсегда.
Публикуется в авторской редакции с сохранением авторских орфографии и пунктуации


легкая проза

Попытка №2

Эта книга — путеводитель по философии успеха, который вдохновит вас на изменения и покажет, как прийти к финансовому благополучию, несмотря на все трудности и неудачи. Основанная на реальных историях успеха известных людей, таких как Стив Джобс, Джефф Безос, Илон Маск и других, она раскрывает секреты их мышления, принятия решений и преодоления препятствий.

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

При подготовке книги использовалась нейросеть.

мотивация

саморазвитие и советы

Философия заработка

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

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

космос и вселенная

Звёздный век: космические победы эпохи Гагарина

Мини-сборник стихов "Мгновения осени" от автора-композитора Дмитрия Уханева. 


Мгновения осени

Ченнелинг – связь с духовным миром, портал поддержки душ. О нем весь мир узнал. Но только много лет спустя, я поняла в чем смысл этой связи. Из неоткуда, шел ко мне поток подсказок важных действий. Который рифмами ложился на листок, не ожидав моих бездействий.
Как жаль, что поздно поняла, что в каждой новой рифме, есть для меня подсказка и жизненный урок. Включая разум и завися каждый раз от обстоятельств, я упускала правильный совет. И вновь, свой выбор сделав в пользу внешних обстоятельств, теряла шанс облегчить жизни путь.
Сегодня, я сама, готова намекнуть: "Доверься внутреннему "Я". В тебе есть все подсказки, чтоб трудной жизни колея, закончилась добром, как в сказке".


духовная литература

любовь и отношения

Ангел&Я

Полная версия

Дискретная математика. Формально-логические системы и языки

Другие книги автора