Logic of Mathematics

...Нажми для увеличения фото
23 316 ₽Скидка: 21%

18 339 ₽

Товар в наличии
  Узнать о снижении стоимости
Отправим письмо при снижении стоимости.

Рекомендательный сервис

  • Общий рейтинг 4.00
  • Рейтинг покупателей 4.06
  • Рейтинг экспертов 4.30
  • Качество материалов 4.00
  • Надежность 4.00
  • Простота в использовании 4.03
  • Ремонтопригодность 4.79
  • Эффективность выполнения своих функций 4.70
  • Коэффициент удивления "Вау!" 4.00
  • Безопасность для пользователя4.60
  • Внешний вид 4.93
  • Удобство в уходе и чистке 4.07
  • Экологическая безопасность 4.30
  • Гарантия на товар 4.00
  • Соответствие стандартам качества 4.03
  • Инновационные технологии 4.00
  • Хит продаж 4.00
  • Скорость морального устаревания 4.07
  • Энергоэффективность 4.73
  • Универсальность использования 4.09
  • Наличие дополнительных функций 4.00
  • Соотношение цена-качество 4.30
  • Практичность и удобство хранения 4.00
  • Стабильность работы в различных условиях 4.06
  • Возможность персонализации 4.09
  • Ликвидность 4.70
  • Индекс рекомендаций 4.00
2842 покупателей и эксперты портала 1ya.ru рекомендуют к покупке товар «Logic of Mathematics» или его аналог из списка ниже.
A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Using a strict mathematical approach, this is the only book available that contains complete and precise proofs of all of these important theorems: * G?del's theorems of completeness and incompleteness * The independence of Goodstein's theorem from Peano arithmetic * Tarski's theorem on real closed fields * Matiyasevich's theorem on diophantine formulas Logic of Mathematics also features: * Full coverage of model theoretical topics such as definability, compactness, ultraproducts, realization, and omission of types * Clear, concise explanations of all key concepts, from Boolean algebras to Skolem-L?wenheim constructions and other topics * Carefully chosen exercises for each chapter, plus helpful solution hints At last, here is a refreshingly clear, concise, and mathematically rigorous presentation of the basic concepts of mathematical logic-requiring only a standard familiarity with abstract algebra. Employing a strict mathematical approach that emphasizes relational structures over logical language, this carefully organized text is divided into two parts, which explain the essentials of the subject in specific and straightforward terms. Part I contains a thorough introduction to mathematical logic and model theory-including a full discussion of terms, formulas, and other fundamentals, plus detailed coverage of relational structures and Boolean algebras, G?del's completeness theorem, models of Peano arithmetic, and much more. Part II focuses on a number of advanced theorems that are central to the field, such as G?del's first and second theorems of incompleteness, the independence proof of Goodstein's theorem from Peano arithmetic, Tarski's theorem on real closed fields, and others. No other text contains complete and precise proofs of all of these theorems. With a solid and comprehensive program of exercises and selected solution hints, Logic of Mathematics is ideal for classroom use-the perfect textbook for advanced students of mathematics, computer science, and logic.
Информация о характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и взятая из открытых источников или размещена продавцом. Цена указана на дату: 09.05.2025 г. На текущий момент стоимость может отличаться. Предложение не является публичной офертой.
Эксперт: Святослав В., товарный критик
Дата рецензии: 19 июня 2025 г.
Рекомендация к покупке положительная

Кредитный калькулятор

Планируете купить "Logic of Mathematics" в кредит? Расширенный кредитный калькулятор поможет онлайн рассчитать ежемесячный платеж, начисленные проценты и сумму переплаты по потребительскому кредиту.

Доставка покупки

    • В электронном виде;
    • Читать онлайн;
    • Скачать на компьютер или мобильные устройства.

Оплата заказа

    • Банковской картой;
    • электронными деньгами Яндекс-Деньги; WebMoney, Qiwi Кошелек, PayPal;
    • Наличными через терминалы;
    • Банковским переводом.
  • Наименование: ООО «ЛитРес»
  • ИНН: 7719571260

Рекомендуем аналогичные товары

Дополнительно из категории