КнигоПровод.Ru20.04.2024

/Философия

Логическая семантика и модальная логика — Таванец П. В., ред.
 Логическая семантика и модальная логика
Таванец П. В., ред.
год издания — 1967, кол-во страниц — 280, тираж — 8000, язык — русский, тип обложки — твёрд. 7Б, масса книги — 350 гр., издательство — Наука
цена: 500.00 рубПоложить эту книгу в корзину
Сохранность книги — хорошая

Утверждено к печати Институтом философии АН СССР

Формат 60x90 1/16. Бумага типографская №1
ключевые слова — логическ, семант, модальн, логик, знаков, индуктивн, деонтическ, силлогист, предикат

ОГЛАВЛЕНИЕ

СЕМАНТИКА В ЛОГИКЕ. Е. Д. Смирнова и П. В. Таванец3
 
ПРОБЛЕМА ЗНАЧЕНИЯ (СМЫСЛА) ЗНАКОВЫХ ВЫРАЖЕНИЙ КАК ПРОБЛЕМА
ИХ ПОНИМАНИЯ. Д. П. Горский54
 
СЕМАНТИЧЕСКАЯ КОНЦЕПЦИЯ ИНДУКТИВНОЙ ЛОГИКИ. Г. И. Рузавин84
 
К ВОПРОСУ О СЕМАНТИКЕ ВЕРОЯТНОСТНОЙ И ИНДУКТИВНОЙ ЛОГИКИ.
Б. Н. Пятницын101
 
ТЕОРИЯ МОДАЛЬНОСТЕЙ в СОВРЕМЕННОЙ ЛОГИКЕ. Я. А. Слинин119
 
ДОКАЗАТЕЛЬСТВО ОСНОВНЫХ ТЕОРЕМ ТЕОРИИ СИЛЬНОГО ЛОГИЧЕСКОГО
СЛЕДОВАНИЯ. Г. А. Смирнов148
 
НЕКОТОРЫЕ ПРОБЛЕМЫ ТЕОРИИ ДЕОНТИЧЕСКИХ МОДАЛЬНОСТЕЙ.
А. А. Ивин162
 
АЛГЕБРАИЧЕСКАЯ ПОЛУСТРУКТУРА И ТРАДИЦИОННАЯ ФОРМАЛЬНАЯ
ЛОГИКА. А. Л. Субботин233
 
ПОГРУЖЕНИЕ СИЛЛОГИСТИКИ В ИСЧИСЛЕНИЕ ПРЕДИКАТОВ. В. А. Смирнов254
 
К ОПРЕДЕЛЕНИЮ СЕМАНТИЧЕСКОЙ КОГЕРЕНТНОСТИ. В. К. Финн259

Книги на ту же тему

  1. Логика и развитие научного знания, Бродский И. Н., Слинин Я. А., ред., 1992
  2. Формальная феноменология, Васюков В. Л., 1999
  3. Логика вопросов и ответов, Белнап Н., Стил Т., 1981
  4. Заметки по логике, Линдон Р., 1968
  5. Алгебра логики в задачах, Гиндикин С. Г., 1972
  6. Логика. Экспресс-курс для подготовки к экзамену, Кузина Е. Б., 1997
  7. Моделирование семантики в базах данных, Цаленко М. Ш., 1989
  8. Введение в математическую логику, Колмогоров А. Н., Драгалин А. Г., 1982
  9. Математическая логика, Клини С. К., 1973
  10. Математическая логика в программировании: Сборник статей 1980—1988 гг., Захарьящев М. В., Янов Ю. И., ред., 1991
  11. Логический подход к искусственному интеллекту: от классической логики к логическому программированию, Тей А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф., 1990
© 1913—2013 КнигоПровод.Ruhttp://knigoprovod.ru