Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.
Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».



программирование

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

математика

модели и алгоритмы

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

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

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

теория алгоритмов

Математическая логика и теория алгоритмов

Формирование математической компетентности на основе построения индивидуальной образовательной траектории в электронной среде

Модели и методы искусственного интеллекта

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

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

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

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

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

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

мистика

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

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

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

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

сказки

попаданцы

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

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

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

триллеры

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

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

Андрей, торговый представитель из Санкт-Петербурга, сталкивается с загадочным происшествием, когда становится единственным человеком в городе. Встреча с Лилией, девушкой из параллельного мира, где магия и природа существуют в гармонии, меняет его жизнь.  

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

Андрей учится доверять своей интуиции, а Лилия открывает ему красоту и мудрость её мира. Их связь становится символом любви и взаимопонимания, играя ключевую роль в успехе миссии.  

«Сквозь миры: Битва за Единство» — это история о силе дружбы, любви и веры в себя, приглашающая читателей в мир магии и приключений, где важны гармония и единство в борьбе с тьмой.

городское фэнтези

Сквозь миры: Битва за Единство

Тихий архивариус Элиас Кузнецов становится серийным убийцей, оставляя на местах преступлений жуткие “сувениры”. Детектив Иванова, преследуя его, погружается в травматичное прошлое Элиаса, пытаясь понять, что превратило его в монстра. В зловещей игре разума они сталкиваются лицом к лицу, обнажая темные уголки человеческой природы. Сможет ли Элиас найти искупление? И какую цену придется заплатить за память о его жертвах? Психологическая драма о природе зла и надежде на спасение даже в самых темных душах. 
При написании использовалась нейросеть. ChatGPT.

Сломанная заколка. Эпитафия убийце

В центре внимания рассказа — амбициозная журналистка, оказавшаяся на скандально известной вечеринке элитной компании Brooks and Holt. Она принимает участие в съёмках, надеясь заполучить сенсацию, но вместо ожидаемых коррупционных расследований сталкивается с неожиданной реальностью — миром эротических игр и открытых пересечений человеческих желаний. В её руках не оказывается камеры, чтобы запечатлеть моменты, которые она видит, и между её ожиданиями и реальностью возникает напряжение. С каждой минутой атмосфера становится всё более провокационной, а самоисследование и соблазн захватывают её мысли. Неожиданная встреча с загадочной женщиной вводит её в атмосферу, где маски на лицах скрывают настоящие желания, а границы между журналистским профессионализмом и личными чувствами размываются. Как она справится с этой неловкой ситуацией и последующими искушениями?

эротические романы

эротическая литература

эротические рассказы и истории

Журналист

Я сука, убийца, наркоманка, я мать, супруга, я руководитель крупной фирмы. Я развязываю узелки...

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

крутой детектив

Стояли звери около двери…

Смерть любимой жены разбивает жизнь Михаила на осколки. Охваченный горем и жаждой мести, он совершает преступление, за которым следуют другие, все глубже погружая его в пучину отчаяния. Но когда правда выходит наружу, Михаил оказывается пешкой в чужой игре, преследуемым прошлым и преданным теми, кому доверял. Теперь ему предстоит не только доказать свою невиновность, но и найти в себе силы для прощения и искупления, даже если это потребует самой высокой цены. При написании использовалась нейросеть. ChatGPT.

Стремление к искуплению

Гаврилыч был одним из тех немногих сталкеров, которые жили здесь чуть ли не со времен образования Зоны. Это был вольный сталкер, одиночка во всех смыслах этого слова. За все эти годы он никогда ни с кем не заводил дружбу, всегда держался несколько особняком. Но при этом всегда был подчеркнуто вежлив в общении. Он никогда не ввязывался в сомнительные мероприятия. Поговаривают, что у него какое-то особое чутье на подвохи. Многие пытались его и обмануть, и купить, но ни у кого это не получалось. Это про него говорят сталкеры, что никогда не знаешь, куда он уходит, где бывает, откуда приходит...

фанфик

боевая фантастика

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

Напарник

Библиотекарша Элиза попадает в сети одержимой любви художника Виктора. Его ревность душит, контроль пугает, а безумный “дар” – вечная смерть – превращает её жизнь в кошмар.
Выжившая чудом, Элиза пытается забыть прошлое, но оно преследует её. Страх и вина терзают её душу. Сможет ли она противостоять безумию и начать новую жизнь?
“Элиза: Подаренная Смерть” – это психологическая драма о выживании, искуплении и борьбе за свободу. Это история о том, как любовь может превратиться в одержимость, а жертва – найти силы в себе и вернуть себе свою жизнь. 
При написании использовалась нейросеть. ChatGPT.

Элиза: Подаренная смерть

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

Математическая логика и теория алгоритмов

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