Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и синтаксический – построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются.
Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.



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

математика

искусственный интеллект

экспертные системы

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

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

Прикладная логика

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

фэнтези

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

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

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

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

детективы

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

приключения

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

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

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

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

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

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

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

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

мистика

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

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

Продолжаются приключения бывшего учителя физики Ивана Яковлевича Брехта, попавшего в тело молодого парня из небольшой деревни близь Омска. В 1932 год. Во второй книге Брехт при помощи командарма Блюхера становится командиром отдельного разведывательного батальона, дислоцированного около города Спасск Дальний недалеко от Владивостока. Японцы и китайцы регулярно устраивают провокации на границе. А ещё за Брехтом начинают внимательно наблюдать сотрудники НКВД, заинтересовавшиеся его предпринимательской деятельностью.
И ещё Брехт женится на корейской принцессе Ли Хэ Вон и пытается с её помощью выйти на корейских предпринимателей.

историческая фантастика

попаданцы

Охота на Тигра 2. Отдельный батальон

На страницах этой книги предпринимается попытка уловить удивительную сущность человеческой натуры. В том виде искусства, которым до сих пор в значительной степени является психотерапия, художников немного, но Фрэнк Фаррелли – один из них. Его жизнь, устремления, яркие поступки и неизбежные ошибки стали искрой для этого труда, задача которого – рассказать об иной философии исцеления и показать модели поведения практикующим специалистам, ещё не подобравшим «ключик» к своим клиентам или самим себе. Провокативная психотерапия формирует новый взгляд на живого человека, опутанного сетями современных проблем и реалий нашего общества. Возможно, чтение этой книги будет похоже на участие в самом процессе провокативной терапии, но этого не избежать. Надеемся, такое участие будет полезным и приятным.

В формате А4 PDF сохранён издательский макет.

зарубежная психология

психотерапия

Провокативная терапия

Психолог с мировым именем и с 13 миллионами подписчиков в социальных сетях. Общий тираж его книг – 8 миллионов копий.
Вальтер Рисо родился в Италии, вырос в Колумбии, а в настоящее время живет и работает в Боготе и Барселоне. Он имеет докторскую степень по психологии и является автором самых солнечных и жизнелюбивых бестселлеров по самопомощи. Во всем мире его знают и ценят как специалиста по когнитивной терапии и биоэтике, книги Вальтера Рисо выходят огромными тиражами на 20 языках.
«Не зависеть, не терпеть» рассказывает о том, как опознать нездоровую привязанность (к человеку, работе, еде, вредным привычкам или радикальному ЗОЖу) и не дать ей себя победить.
Вальтер Рисо впускает свет в вашу внутреннюю темницу желаний и разъясняет, как:
– понять, что привязанность мешает получать удовольствие;
– подружиться со своими «хочу» и «могу»;
– отпустить все лишнее из вашей жизни;
– не потерять главное – свободу быть собой.

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

клиническая психология

Не зависеть, не терпеть. Как избавиться от привязанности, которая отнимает силы и мешает жить в гармонии с собой

Сбои в операциях, кассовые разрывы, демотивация сотрудников при задержке выплат, штрафы и мошенничество – к этому приводит неграмотное управление финансами. 
Автор рассказывает, как должна быть выстроена работа финансового руководителя. Он предлагает организовать управление финансами на базе постановки целей по методике OKR (Objectives and Key Results), адаптивного планирования и проактивного управления рисками. OKR способствует переходу от линейного мышления и оптимизации к гибкому (Agile) управлению. 
Благодаря этому вы свяжете в единую систему управление людьми, индивидуальные и групповые планы, продуктовые метрики, планы развития и бюджетирования, достижение стратегических целей компании и ее акционеров.
Эта книга содержит дополнительный материал в виде ПДФ-файла, который вы можете скачать на странице аудиокниги на сайте после её покупки.

корпоративные финансы

финансовый менеджмент

организационный менеджмент

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

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

детские приключения

зарубежные детские книги

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

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

Приключения доисторического мальчика

Имя мореплавателя Синдбада многократно использовалось в детских сериалах и мультфильмах, которые делали этот персонаж ближе современным детям. Книга о приключениях Синдбада с рисунками Марайя возвращает изначальное очарование восточных сказок. Визуальный ряд, с явным арабским колоритом, вовлекает в сказку, которая буквально движется перед глазами читателей. И это не случайно, ведь Либико Марайя участвовал в создании анимационного итальянского фильма «Роза Багдада» на восточные темы.

сказки

Приключения Синдбада-морехода

«У нас в кафе есть кошка. Вас это не смущает?»
Маленький домик на краю океана, дорога выложена ракушками. Молодой и вежливый хозяин учтиво предложит вам выбрать еду по вкусу. Сюда приходят, чтобы заказать кагэдзэн – «угощение для тени». Говорят, эти блюда позволяют поговорить с умершими и задать им вопросы, которые беспокоят живых. Двери кафе открыты для тех, кто потерял близких, и, говорят, под синей крышей творятся чудеса, способные исцелить самые глубокие душевные раны.
В конце каждой главы – рецепт японского блюда.
Книга издана в 16 странах, и везде нашла отклик в сердцах!
Перевод Елены Байбиковой, которая переводила Мураками.

легкая проза

Котенок и кафе на краю океана

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

Прикладная логика