Каталог
  • Компьютерная техника Компьютерная техника
  • Одежда, обувь и аксессуары Одежда, обувь и аксессуары
  • Детские товары Детские товары
  • Дом и дача Дом и дача
  • Товары для животных Товары для животных
  • Красота и здоровье Красота и здоровье
  • Авто Авто
  • Досуг и развлечения Досуг и развлечения
  • Оборудование Оборудование
  • Все для офиса Все для офиса
  • Продукты Продукты
  • Услуги Услуги
  • Электроника Электроника
  • Спорт и отдых Спорт и отдых
  • Товары для праздника Товары для праздника
  • Бытовая техника Бытовая техника
Каталог Закрыть
Дом и дача
Каталог Закрыть
Продукты
Продукты для поста
Закрыть
Продукты для поста
Низкокаллорийные продукты
Закрыть
Низкокаллорийные продукты
Вегетарианские полуфабрикаты
Закрыть
Вегетарианские полуфабрикаты
Пищевые продукты функционального назначения
Закрыть
Пищевые продукты функционального назначения
Каталог Закрыть
Спорт и отдых
Бокс и единоборства
Закрыть
Бокс и единоборства
Экстремальные виды спорта
Закрыть
Экстремальные виды спорта
Логика высказываний. Учебное пособие

Логика высказываний. Учебное пособие

579,00 ₽
Продавец Ozon
В магазин
  • Логика высказываний. Учебное пособие

Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э.Бета, семантика возможных миров С.Крипке). Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.

Показать полностью
Подробные характеристики
Общие характеристики
Автор Сергей Гуров
Тип издания Отдельное издание
Тип обложки Мягкая обложка
Тираж 100
Вес 0.00
Описание
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э.Бета, семантика возможных миров С.Крипке). Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.
Отзывы

Отзывов о товаре нет. Будьте первым кто оставит отзыв об этом товаре!


Доставка
Самовывоз

Адрес: г. Улан-Удэ, ул.Балтахинова 15, офис 001, вход в магазин «DNS»

Время работы: Ежедневно c 10.00 до 19.00

Телефон: 8 (3012) 57-47-77

Курьерская доставка

Доставка заказов осуществляется ежедневно после 16:00 (условия и стоимость доставки заказа до 16:00 оговаривается с оператором)

от 100 рублей г. Улан-Удэ
от 150 рублей Иволгинский, Тарбагатайский
от 200 рублей Бичурский, Заиграевский, Кабанский, Кижингинский, Кяхтинский, Мухоршибирский, Прибайкальский, Селенгинский
от 300 рублей Баргузинский, Баунтовский, Джидинский, Еравнинский, Закаменский, Курумканский, Муйский, Окинский, Северо-Байкальский, Тункинский, Хоринский, г. Северобайкальск
Доставка

Самовывоз


Адрес: г. Улан-Удэ, ул.Балтахинова 15, офис 001, вход в магазин «DNS»
Время работы: Ежедневно c 10.00 до 19.00
Телефон: 8 (3012) 57 47 77

Курьерская доставка


Доставка заказов осуществляется ежедневно после 16:00 (условия и стоимость доставки заказа до 16:00 оговаривается с оператором)


от 100 рублей г. Улан-Удэ
от 150 рублей Иволгинский, Тарбагатайский
от 200 рублей Бичурский, Заиграевский, Кабанский, Кижингинский, Кяхтинский, Мухоршибирский, Прибайкальский, Селенгинский
от 300 рублей Баргузинский, Баунтовский, Джидинский, Еравнинский, Закаменский, Курумканский, Муйский, Окинский, Северо-Байкальский, Тункинский, Хоринский, г. Северобайкальск
Наверх