Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики.
Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».



учебная и научная литература

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

естественные науки

технические науки

математика

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

алгоритмы

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

знания и навыки

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

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

Формальные системы

Формальные системы. Практикум

Промышленные логистические системы

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

фэнтези

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

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

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

детективы

об истории серьезно

приключения

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

ужасы / мистика

cтихи, поэзия

книги по психологии

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

гуманитарные и общественные науки

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

мистика

боевики, остросюжетная литература

публицистическая литература

Эта книга предлагает практическое руководство по управлению личными финансами, раскрывая ключевые принципы финансовой грамотности. Вы узнаете, как контролировать свои доходы и расходы, создавать финансовую подушку безопасности, избегать долгов и инвестировать с умом. Автор делится советами по планированию бюджета, оптимизации налогов и использованию сложного процента для увеличения капитала. Книга поможет вам избежать распространенных ошибок и достичь финансовой стабильности, обеспечив уверенность в завтрашнем дне.


личные финансы

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

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

Финансовая грамотность. Деньги под контролем: от долгов к богатству

Пей-Лин живет тихой, размеренной жизнью на вершине неприступной горы вместе со своей бабушкой Конг Ван. Каждый ее день посвящен совершенствованию боевых искусств, поиску редких трав и изучению древних текстов о целительстве и потоках энергии ци. Бабушка Конг Ван обучает ее не только техникам боя и врачевания, но и философии отрешенности от мирской суеты, подчеркивая важность их уединения для сохранения чистоты духа и безопасности. Их покой нарушается внезапно: они находят на склоне горы тяжелораненого мужчину в необычных одеждах. Его аура могущественна, но нестабильна, а раны явно нанесены нечеловеческим оружием. Они переносят незнакомца в свою хижину. Пока Пей-Лин дни и ночи выхаживает раненого, используя все свои знания трав и энергии ци, Конг Ван пытается защитить их дом магическими барьерами, опасаясь, что враги Небожителя могут прийти по его следу. Очнувшись, Небожитель И Чэн видит в ней не только спасительницу, но и удивительное создание, не испорченное миром. 

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

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

Нефритовый Пик и Падшая Звезда

Продолжение певрой книги -"Невеста Демона."
Что ждет их в особняке родителей Демона. Примут ли они невестку. Сможет ли Мелисса принять чувства, и как долго сможет ждать её Айшир. Как долго, она будет бегать от своих чувств. 

магия / колдовство

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

магические академии

Заложница метки. Демона

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

Стражи тайного Департамента

В тихом кабинете частного детектива Елены Борисовой появляется странная клиентка, просящая найти пропавшего сына-археолога. Обычное расследование оборачивается кошмаром, когда Елена обнаруживает в заброшенном особняке древний медальон и следы мистического ритуала.

Вместе с напарником-журналистом Виктором она погружается в водоворот событий, где реальность переплетается с потусторонним. Загадочный культ "Хранители Порога" готовит ритуал, способный открыть врата между мирами. Елена неожиданно становится ключевой фигурой в древнем противостоянии.

Погони, предательства и встреча с давно погибшим мужем в мистическом измерении—лишь часть испытаний на пути к разгадке. Времени критически мало, а цена ошибки—судьба не только пропавшего археолога, но и всего мира.

триллеры

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

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

Врата Бездны

Что, если Бог — это просто идея? Не ответ, а привычка. Эта книга — взгляд на религию с позиции разума и честности. Без оскорблений, но без реверансов. Автор — атеист — объясняет, почему он отказался от веры, что не увидел в ней истины, и как можно жить полноценно, морально и осмысленно — без Бога.

Здесь нет апелляций к чувствам. Только логика, факты, история и здравый смысл. Книга для тех, кто сомневается, кто ищет, кто не боится задавать вопросы. И для тех, кто хочет понять атеизм — не как отрицание, а как свободный выбор.

богословие

книги по философии

критика

Атеизм как свобода думать

Я Мелисса Стоун. С рождения я прячу тайну от всех. Моя бабушка и сестра знает о тайне, но пытаются поддержать. В скором времени, я уеду в академию магии. Я узнаю, что у меня есть фамельяр, который покажется. Но внезапно, меня переведут в академию «Владыки демонов» . Вот там все и начнётся.

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

Невеста Демона

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

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

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