Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9785458649780

Книга ISBN13 9785458649780 - Релевантная логика (Е.А. Сидоренко) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Релевантная логика
Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand. Книга посвящена основам релевантной логики, причинам ее появления, построению для ее исчислений адекватной семантики крипкевского типа. Дается популярное...
Авторы: Е.А. Сидоренко
Издательство: ИФ РАН
Год: 2000
Местонахождение: My-shop.ru
ISBN: 978-5-458-64978-0
Название: Релевантная логика
Книга посвящена основам релевантной логики, причинам ее появления, построению для ее исчислений адекватной семантики крипкевского типа. Дается популярное изложение семантики возможных миров. Принципиальной особенностью предлагаемой автором двухуровневой (двухэтажной) реляционной семантики с бинарным отношением достижимости является то, что никакая формула логики не является истинной во всех возможных мирах, а семантически истинными оказываются только такие формулы A, которые истинны во всех тех мирах, где постулируется верность A ->A. Предлагаемая семантика адаптирована для известных релевантных исчислений E, R и NR, а также авторской системы ENR, непосредственно формализующей необходимую импликацию, описываемую в исчислении NR. В работе дается универсальная формулировка теоремы дедукции, пригодная для всех логических исчислений, замкнутых относительно правила modus ponens. Воспроизведено в оригинальной авторской орфографии издания 2000 года.
Авторы: Е.А. Сидоренко
Издательство: Книга по Требованию
Год: 2013
Местонахождение: OZON.ru
ISBN: 978-5-458-64978-0


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.