Е. В. Зайцева — новинки

Собака - друг и верный помощник человека, но необходимо знать, как правильно воспитывать и содержать ее. Вы держите в руках своеобразный универсальный справочник, который расскажет о происхождении, становлении, экстерьере, конституции и превосходных данных гончих собак. Здесь вы обнаружите и практические советы по выращиванию, воспитанию и содержанию гончих. Также, уважаемые охотники, любители-собаководы, настоящее издание повествует о работе и поведении гончего партнера на охоте по зверю. Вдобавок, книга подскажет, как правильно лечить, ухаживать и просто, быть в хороших отношениях со своим четвероногим питомцем!

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

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

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