г. Москва, Московская область
Введение в теорию моделей и метаматематику алгебры

Введение в теорию моделей и метаматематику алгебры

цена 549 руб.
Перейти в интернет-магазин
купить в магазине Буквоед г. Санкт-Петербург
Настоящая книга посвящена теории моделей - одной из самых молодых отраслей современной математики, возникшей на стыке алгебры и математической логики. Основное содержание книги составляют известная теорема Геделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления. В первых пяти главах излагаются такие известные классические результаты, как локальная теорема Мальцева, полнота и разрешимость теорий вещественна замкнутого и алгебраически замкнутого полей, теорема Бета об определимости и др. Последующие четыре главы посвящены более современным проблемам. В них с помощью теоретико-модельных методов изучаются общие алгебраические понятия (сепарабельность, алгебраичность и т.д.), теория идеалов и многообразий, вопросы классического анализа, а также доказывается ряд известных классических теорем математики подробнее
Смотрите также
В настоящей работе приводится аксиоматическое построение систем натуральных, целых, рациональных, действительных и комплексных чисел. Показано, как из предлагаемой системы аксиом выводятся утверждения, соответствующие интуитивным представлениям читателя о свойствах данной числовой системы. В частности, доказаны основные свойства отношения делимости целых чисел. В предположении непротиворечивости аксиоматики натуральных чисел доказывается непротиворечивость всех остальных систем аксиом, а именно: показано, как, располагая моделью для натуральных чисел, построить последовательно модели для целых, рациональных, действительных и комплексных чисел. В каждом случае установлена также единственность модели. При формулировке аксиом и доказательстве всех утверждений используются язык и методы современной алгебры; подробному изложению необходимых сведений из алгебры и теории множеств посвящен первый, вводный, параграф пособия
Буквоед г. Москва (пункт выдачи заказов)
447 руб.
В книге изучаются релятивистские уравнения теории поля, в частности рассматриваются свойства ковариантности и симметрии уравнений Дирака—Максвелла и Дирака—Янга—Миллса. Вводится ряд новых систем уравнений, называемых модельными уравнениями теории поля. Эти системы уравнений воспроизводят основные свойства стандартных систем уравнений теории поля. В то же время модельные уравнения имеют ряд отличий от стандартных уравнений теории поля, в частности обладают новой внутренней симметрией по отношению к псевдоунитарной (либо симплектической, либо спинорной) группе. Разработка концепции локальной псевдоунитарной (симплектической, спинорной) симметрии модельных уравнений теории поля ведет к далеко идущим следствиям. В некоторых разделах книги используется математический аппарат алгебр Клиффорда и алгебр Атьи—Келера
Буквоед г. Москва (пункт выдачи заказов)
957 руб.
Предлагаемый учебник впервые вышел в свет в виде двухтомника сначала на английском и испанском языках в 1990 году, а затем на французском. Он пользуется большим спросом за рубежом. В 1999 году книга стала лауреатом конкурса по созданию новых учебников Министерства образования России • Этот учебник адресован студентам высших учебных заведений (в первую очередь будущим инженерам и экономистам) и охватывает практически все разделы математики, но при этом представляет собой не набор разрозненных глав, а единое целое
Буквоед г. Москва (пункт выдачи заказов)
589 руб.
Представлены практические методы, рекомендации, правила и приемы, используемые при создании ПО АСУ ТП на основе объектно-ориентированного подхода (ООП). Приведены краткие сведения о системах управления, дан анализ предметной области, определены ее домены и базовые понятия, реализуемые как объекты; рассмотрено их взаимодействие при решении основных задач управления технологическим оборудованием. Даны описания соответствующих классов и рассмотрены общие вопросы конфигурации ПО модуля автоматизации. В приложении приведены примеры реализации спроектированных классов на языке C++ из состава программного обеспечения модуля индивидуального управления электромагнитным клапаном • Для специалистов, занимающихся разработкой ПО АСУ ТП различного назначения
My-shop.ru г. Москва
871 руб.
Введение в иудаизм второго храма, написанное одним из ведущих мировых специалистов по данному вопросу, отражает многолетний опыт преподавания автора в крупнейших университетах США. Книга будет полезна как для новичка, так и для специалиста, который найдет в ней множество интересных наблюдений
Буквоед г. Москва (пункт выдачи заказов)
571 руб.
Введение в чтение Корана. Таджвид.Таджвид - это научная дисциплина, изучающая чтение Священного Корана в соответствии с определенными правилами. Цель таджвида - избежать ошибок при чтении Божественных откровений. В основе этой книги популярный учебник "Таджвид Карабаша".Ответственный за выпуск: С. С. Раимов
Буквоед г. Москва (пункт выдачи заказов)
171 руб.
Теория волн на поверхности жидкости издавна привлекает внимание математиков, физиков и инженеров большим практическим значением своих выводов, своеобразием и трудностью возникающих в ней заач. В педлагаемом сборнике собраны девять переводов иностранных ученых, интересных новыми идеями и методами в этой области механики
Буквоед г. Москва (пункт выдачи заказов)
284 руб.
Модель машинки американское такси Siku отлично дополнит коллекцию моделей автомобилей в масштабе 1:55. Модель выполнена в виде автомобиля Dodge Charger в традиционном для американского такси ярко-желтом цвете. Корпус автомобиля выполнен из металла, стёкла из прозрачного тонированного пластика. Передние двери открываются, резиновые колёса вращаются. Тщательно проработанные детали модели делают ее максимально реалистичной и интересной для игры. Размер упаковки: 98 x 78 мм. Для детей от 3х лет
Picollino доставка из г. Санкт-Петербург
398 руб.
Модель гоночной машинки 1:64 Bburago – это реалистичная модель современной гоночной машины. Такая модель станет хорошим подарком как для малыша, так и для коллекционера постарше. Для детей от 3 лет
Picollino доставка из г. Санкт-Петербург
223 руб.
Модель патрульной машинки Siku аварийной службы ADAC станет отличным дополнение коллекции, состоящей из различных моделей городского транспорта. Ярко-желтый корпус автомобиля изготовлен из литого металла, стекла – из прозрачной пластмассы, а вращающиеся колеса из резины. Важной особенностью игрушки является то, что двери в данном автомобиле могут открываться и закрываться. На крыше имеется проблесковый маячок. Сзади сцепное устройство для соединения патрульной машины с другими моделями от Siku. Масштаб - 1:55. Размеры игрушки: Размеры: 10 x 4 x 8 см. Для детей от 3х лет
Picollino доставка из г. Санкт-Петербург
398 руб.
Модель машинки Самосвал Bergmann SIKU выполнена с большим вниманием к деталям. Кузов ярко-желтого цвета наклоняется для выгрузки груза. Через стекла из прозрачного пластика можно без труда осмотреть водительскую кабину. Колеса свободно вращаются, так что модель можно катать. Игрушечный самосвал обязательно понравится своему маленькому обладателю. Модель выполнена из качественных и безопасных материалов (металла, пластика и резины). Рекомендованный возраст: с 3 лет. Размер игрушки: 8 x 3,5 x 3,5 см
Picollino доставка из г. Санкт-Петербург
398 руб.
Модель машинки Грузовик-фура SIKU выполнена в масштабе 1:87 и копирует реальную модель грузовика. Её колеса подвижны, а двери в задней части фургона можно открыть. Кабина надежно соединена с прицепом и может отклоняться до угла в 90 градусов. Игрушка обязательно станет частью интересной и увлекательной игры и порадует юного автолюбителя. Модель выполнена из качественных и безопасных материалов (металла, пластика и резины). Рекомендованный возраст: с 3 лет. Размер упаковки: 8 x 20 x 4 см
Picollino доставка из г. Санкт-Петербург
664 руб.
Compare-Price.ru - сравнение цен интернет-магазинов. Просто выбрать. Легко купить.