- Религиозная литература для детей
- Животный и растительный мир
- Культура и искусство
- Все обо всем. Универсальные энциклопедии
- Этикет. Внешность.Гигиена. Личная безопасность
- Популярная психология для детей
- Человек. Земля. Вселенная
- Наука. Техника. Транспорт
- Компьютер для детей
- Другое
- Путеводители для детей
- Спорт для детей
- Детская кулинария
- Программирование и электроника для детей
- Экономика и финансы для детей
- Земля. Вселенная
- Популярная анатомия для детей
- Популярная психология. Личная эффективность
- Биографии великих людей
- Занимательное языкознание для детей
- Мифология для детей
- Философия и право для детей
- Знакомство с профессиями
- Земля. Космос
- Занимательная математика
Сравнить цены на книгу: Книга Релевантная логика (Предпосылки, Исчисления, Семантика), 2013
Где купить (2)
Цена от 1039 р. до 1085 р. в 2 магазинах
Магазин | Цена | Наличие |
---|---|---|
Предложения банков
Компания | Предложение |
---|---|
Описание
Эта книга - репринт оригинального издания 2000 года, созданный на основе электронной копии высокого разрешения, которую очистили и обработали вручную, сохранив структуру и орфографию оригинального издания. Редкие, забытые и малоизвестные книги, изданные с петровских времен до наших дней, вновь доступны в виде печатных книг. Книга посвящена основам релевантной логики, причинам ее появления, построению для ее исчислений адекватной семантики крипкевского типа. Дается популярное изложение семантики возможных миров. Принципиальной особенностью предлагаемой автором двухуровневой (двухэтажной) реляционной семантики с бинарным отношением достижимости является то, что никакая формула логики не является истинной во всех возможных мирах, а семантически истинными оказываются только такие формулы A, которые истинны во всех тех мирах, где постулируется верность A ->A. Предлагаемая семантика адаптирована для известных релевантных исчислений E, R и NR, а также авторской системы ENR, непосредственно формализующей необходимую импликацию, описываемую в исчислении NR. В работе дается универсальная формулировка теоремы дедукции, пригодная для всех логических исчислений, замкнутых относительно правила modus ponens.
Смотри также о книге.
О книге
Параметр | Значение |
---|---|
Формат | Русский |
Издательство | ИФРАН |
Вес | 0.663 |
Возрастное ограничение | 12+ |
Автор | Сидоренко Евгений Александрович |
Жанр | история |
Тип обложки | мягкая |
Количество страниц | 244 |
Год издания | 2013 |
Автор(ы) | Сидоренко Евгений Александрович |
Отзывы (0)
Добавить отзыв
Книги: Познавательная литература для детей, История - издательство "ИФРАН"
Категория 831 р. - 1246 р.
Книги: Познавательная литература для детей, История
Категория 831 р. - 1246 р.