Logic as a Tool. A Guide to Formal Logical Reasoning

Logic as a Tool. A Guide to Formal Logical ReasoningНажми для увеличения фото
6 875 ₽Скидка: 13%

5 970 ₽

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

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

  • Общий рейтинг 4.79
  • Рейтинг покупателей 4.91
  • Рейтинг экспертов 4.57
  • Качество материалов 4.93
  • Надежность 4.77
  • Простота в использовании 4.35
  • Ремонтопригодность 4.54
  • Эффективность выполнения своих функций 4.59
  • Коэффициент удивления "Вау!" 4.79
  • Безопасность для пользователя4.17
  • Внешний вид 4.45
  • Удобство в уходе и чистке 4.35
  • Экологическая безопасность 4.50
  • Гарантия на товар 4.33
  • Соответствие стандартам качества 4.75
  • Инновационные технологии 4.30
  • Хит продаж 4.79
  • Скорость морального устаревания 4.95
  • Энергоэффективность 4.55
  • Универсальность использования 4.99
  • Наличие дополнительных функций 4.30
  • Соотношение цена-качество 4.53
  • Практичность и удобство хранения 4.97
  • Стабильность работы в различных условиях 4.01
  • Возможность персонализации 4.09
  • Ликвидность 4.57
  • Индекс рекомендаций 4.33
2582 покупателей и эксперты портала 1ya.ru рекомендуют к покупке товар «Logic as a Tool. A Guide to Formal Logical Reasoning» или его аналог из списка ниже.
Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It offers a systematic and precise exposition of classical logic with many examples and exercises, and only the necessary minimum of theory. The book explains the grammar, semantics and use of classical logical languages and teaches the reader how grasp the meaning and translate them to and from natural language. It illustrates with extensive examples the use of the most popular deductive systems – axiomatic systems, semantic tableaux, natural deduction, and resolution – for formalising and automating logical reasoning both on propositional and on first-order level, and provides the reader with technical skills needed for practical derivations in them. Systematic guidelines are offered on how to perform logically correct and well-structured reasoning using these deductive systems and the reasoning techniques that they employ. •Concise and systematic exposition, with semi-formal but rigorous treatment of the minimum necessary theory, amply illustrated with examples •Emphasis both on conceptual understanding and on developing practical skills •Solid and balanced coverage of syntactic, semantic, and deductive aspects of logic •Includes extensive sets of exercises, many of them provided with solutions or answers •Supplemented by a website including detailed slides, additional exercises and solutions For more information browse the book's website at: https://logicasatool.wordpress.com
Информация о характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и взятая из открытых источников или размещена продавцом. Цена указана на дату: 09.05.2025 г. На текущий момент стоимость может отличаться. Предложение не является публичной офертой.
Logic as a Tool. A Guide to Formal Logical Reasoning продается в интернет-магазине ЛитРес
Эксперт: Светлана М., персональный онлайн-шопер
Дата рецензии: 1 ноября 2025 года
Рекомендация к покупке положительная

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

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

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

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

Часто задаваемые вопросы

Для покупки нажмите Купить, перейдите в интернет-магазин "ЛитРес", добавьте товары в корзину и оформите заказ.
Оплатить покупку возможно банковскими картами, банковским переводом, наличными при получении. Перечень всех способов оплаты доступен при оформлении заказа.
Заказ может быть доставлен курьерской службой, транспортными компаниями, Почтой России. Возможен самовывоз из пунктов выдачи и постаматов. Способ доставки выбирается при оформлении заказа.
Сроки доставки зависят от региона. Обычно это от 1 до 7 рабочих дней. Транспортировка в отдаленные регионы или позиций "под заказ" может достигать до 1 месяца. Точную информацию можно уточнить в карточке товара или у менеджера.
Да, в соответствии с законом «О защите прав потребителей» вы можете вернуть товар надлежащего качества в течение 14 дней с момента покупки, если он не был в употреблении, сохранены упаковка, ярлыки и товарный вид, и при этом не входит в перечень товаров, не подлежащих возврату или обмену (утверждённый Постановлением Правительства РФ №55).
На большинство товаров предоставляется гарантия от производителя. Срок гарантии указан в описании товара.

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

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