|
|
Логическая семантика и модальная логика |
| Таванец П. В., ред. |
| год издания — 1967, кол-во страниц — 280, тираж — 8000, язык — русский, тип обложки — твёрд. 7Б, масса книги — 350 гр., издательство — Наука |
|
| цена: 500.00 руб |  | | | |
|
Сохранность книги — хорошая
Утверждено к печати Институтом философии АН СССР
Формат 60x90 1/16. Бумага типографская №1 |
| ключевые слова — логическ, семант, модальн, логик, знаков, индуктивн, деонтическ, силлогист, предикат |
|
|
ОГЛАВЛЕНИЕ| СЕМАНТИКА В ЛОГИКЕ. Е. Д. Смирнова и П. В. Таванец | 3 | | | | ПРОБЛЕМА ЗНАЧЕНИЯ (СМЫСЛА) ЗНАКОВЫХ ВЫРАЖЕНИЙ КАК ПРОБЛЕМА |  ИХ ПОНИМАНИЯ. Д. П. Горский | 54 | | | | СЕМАНТИЧЕСКАЯ КОНЦЕПЦИЯ ИНДУКТИВНОЙ ЛОГИКИ. Г. И. Рузавин | 84 | | | | К ВОПРОСУ О СЕМАНТИКЕ ВЕРОЯТНОСТНОЙ И ИНДУКТИВНОЙ ЛОГИКИ. | | Б. Н. Пятницын | 101 | | | | ТЕОРИЯ МОДАЛЬНОСТЕЙ в СОВРЕМЕННОЙ ЛОГИКЕ. Я. А. Слинин | 119 | | | | ДОКАЗАТЕЛЬСТВО ОСНОВНЫХ ТЕОРЕМ ТЕОРИИ СИЛЬНОГО ЛОГИЧЕСКОГО | | СЛЕДОВАНИЯ. Г. А. Смирнов | 148 | | | | НЕКОТОРЫЕ ПРОБЛЕМЫ ТЕОРИИ ДЕОНТИЧЕСКИХ МОДАЛЬНОСТЕЙ. | | А. А. Ивин | 162 | | | | АЛГЕБРАИЧЕСКАЯ ПОЛУСТРУКТУРА И ТРАДИЦИОННАЯ ФОРМАЛЬНАЯ | | ЛОГИКА. А. Л. Субботин | 233 | | | | ПОГРУЖЕНИЕ СИЛЛОГИСТИКИ В ИСЧИСЛЕНИЕ ПРЕДИКАТОВ. В. А. Смирнов | 254 | | | | К ОПРЕДЕЛЕНИЮ СЕМАНТИЧЕСКОЙ КОГЕРЕНТНОСТИ. В. К. Финн | 259 |
|
Книги на ту же тему- Логика и развитие научного знания, Бродский И. Н., Слинин Я. А., ред., 1992
- Формальная феноменология, Васюков В. Л., 1999
- Логика вопросов и ответов, Белнап Н., Стил Т., 1981
- Заметки по логике, Линдон Р., 1968
- Алгебра логики в задачах, Гиндикин С. Г., 1972
- Логика. Экспресс-курс для подготовки к экзамену, Кузина Е. Б., 1997
- Моделирование семантики в базах данных, Цаленко М. Ш., 1989
- Введение в математическую логику, Колмогоров А. Н., Драгалин А. Г., 1982
- Математическая логика, Клини С. К., 1973
- Математическая логика в программировании: Сборник статей 1980—1988 гг., Захарьящев М. В., Янов Ю. И., ред., 1991
- Логический подход к искусственному интеллекту: от классической логики к логическому программированию, Тей А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф., 1990
|
|
|
