До конца недели дарим промокод «ЯБЛОКИ» на 7% дополнительной скидки!
×
Интернет-магазин My-shop.ru
Персональный раздел v
   Доставка    Оплата    Скидки    Форум    Помощь
для Москвы  +7 (495) 638-53-38
бесплатно для РФ  +7 (800) 100-53-38
 
0
%
^
Релевантная логика

Релевантная логика

Автор/составитель: Е.А. Сидоренко
Издательство: ИФ РАН

Книга посвящена основам релевантной логики, причинам ее появления, построению для ее исчислений адекватной семантики крипкевского типа. Дается популярное изложение семантики возможных миров. Принципиальной особенностью предлагаемой автором двухуровневой (двухэтажной) реляционной семантики с бинарным отношением достижимости является то, что никакая формула логики не является истинной во всех возможных мирах, а семантически истинными оказываются только такие формулы A, которые истинны во всех тех мирах, где постулируется верность A ->A. Предлагаемая семантика адаптирована для известных релевантных исчислений E, R и NR, а также авторской системы ENR, непосредственно формализующей необходимую импликацию, описываемую в исчислении NR. В работе дается универсальная формулировка теоремы дедукции, пригодная для всех логических исчислений, замкнутых относительно правила modus ponens. Воспроизведено в оригинальной авторской орфографии издания 2000 года.

Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand компанией ООО «Книга по Требованию». Print-on-Demand - это технология печати книг по Вашему заказу на цифровом типографском оборудовании. Книга, напечатанная по технологии Print-on-Demand, представляет собой классический «евро-покет» с соблюдением всех стандартов качества, от офсетной бумаги и плотного картона до качественного клея, используемого при изготовлении.

Информация о материалах, используемых при печати:
- бумага - офсетная (белая), 80 г/м;
- обложка - цветная мягкая (картон 250-300 г/м);
- текстовый блок (включая иллюстрации) - черно-белый;
- скрепление блока - КБС (по стандарту современных «pocket-books»).

Заказ обрабатывается в индивидуальном порядке: каждой книге, напечатанной по технологии Print-on-Demand, присваивается уникальный номер.

499 руб.
в наличии*
планируемая дата доставки: 24.08.2019 (Сб.)
шт.
отложить
Бестселлеры раздела...