Математическая логика
В книге приведены главные традиционные исчисления математической логики: исчисление изречений и исчисление предикатов; имеется краткое изложение главных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - приведены более детально, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов. 6-е издание, исправленное.
Печатное издание имеет сертификаты качества и безопасности и соответствует нормам санитарной гигиены. Прилагается гарантийное обязательство. Предлагается дисконтная накопительная система, а также корпоративная скидка 10% на заказ от 20 шт. На странице офомления заказа будет показана более исчерпывающая информация о стоимости доставки в ваш регион и о вашей личной скидке.
Позвольте Вам предложить
-
Первое знакомство с математической логикой
Без математической логики невозможно представить современную жизнь. Без неё не то что компьютер создать, а даже включить планшет или мобильный телефон…
-
Математическая логика. Учебное пособие
Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и…
-
Математическая логика. Учебник для бакалавриата
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение…
-
Введение в математическую логику. Учебное пособие
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным…
-
Курс математической логики и теории вычислимости. Учебное пособие
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов…
-
ВниманиУМ. Тренажер для мозга. Развитие логико-математического интеллекта дошк. и мл. школьников
Данная книга представляет собой сборник упражнений тренировочного характера, способствующих развитию наблюдательности, концентрации внимания, быстроте реакции, мышления дошкольников и младших школьников. Современная…
-
Логико-математическое развитие дошкольников. Игры с логическими блоками Дьенеша и цветными палочками
В пособии описаны основное содержание, пути и эффективные методы логико-математического развития дошкольников, рассмотрены современные дидактические пособия. Должное внимание уделено роли педагога,…
-
Математический перекидной тренажер. Счет и логика. 3 блока по 12 карточек. ФГОС, ФГОС ДО
Перекидной математический тренажер с умными карточками "Счёт и логика" - это многофункциональная обучающая и развивающая игра, с помощью которой ребёнок легко…
-
Игровые методики развития детей 3-7 лет (на логико-математическом содержании). Методич. компл. ФГОС
В методическом пособии предложены различные виды и формы организации игровой деятельности дошкольников, способствующие интеллектуально-познавательному развитию. В их числе - игровые ситуации,…