Книги / Научная и научно-популярная литература / Математика / Научная, учебная литература для специалистов
Логические исследования. Выпуск 14
Код товара: 4597240
(0 оценок)Оценить
ОтзывНаписать отзыв
ВопросЗадать вопрос
-33%
200
298
Доставим в
г. МоскваПланируемая дата
4 мая (Сб)
Курьером
бесплатно от 10 000 ₽
В пункт выдачи
от 155 ₽
бесплатно от 10 000 ₽
Точная стоимость доставки рассчитывается при оформлении заказа
Издательство:
Оригинальное название:
Logical Investigations. Volume 14
Год издания:
2007 г.
Может быть отгружен товар указанного или более позднего года
Редактор:
Описание
Характеристики
В данный сборник включены наиболее важные результаты, полученные в различных областях логики за последнее время. Обратим внимание на работы, имеющие большую логико-философскую значимость. Это статья Н.Н. Непейводы "Интеллектуальные вирусы" и статья И.А. Горбунова и М.Н. Рыбакова "Континуальные семейства логик". В данный сборник включены три статьи, анализирующие релейно-контактную интерпретацию классической пропозициональной логики. Обсуждается вопрос о приоритете в этой области. Сборник предназначен для всех интересующихся современной логикой, ее приложениями и историей.
Содержание
A.M. Анисов
Классическая вычислимость и признаки
индетерминизма
Б.В. БИРЮКОВ, И.С. ВЕРСТИН, В.И. ЛЕВИН
Жизненный и научный путь Виктора Ивановича
Шестакова - создателя логической теории
релейно-
контактных схем
Б.В. БИРЮКОВ, В.И. ШАХОВ
Первые приложения логики к технике: Эренфест,
Герсеванов и Шестаков. От применения логики к
рас
чету сооружений и релейным схемам к логической
тео
рии размерностей физических величин
В.Л. ВАСЮКОВ
Проблема контекста интерпретации в
универсальной
логике
И.А. ГОРБУНОВ, М.Н. РЫБАКОВ
Континуальные семейства логик
А.В. КРАСНЕНКОВА
Поиск натурального вывода в системах негативной
силлогистики
А.А. КРУШИНСКИЙ
" Генетический тип дедукции - альтернатива
традиционно понимаемой дедукции как выводу из
аксиом
В.И. ЛЕВИН
Акира Накашима и логическое моделирование
дискретных схем
Б.Б. ЛЕДНИКОВ
Об одном варианте динамической логики знания
И.Б. МИКИРТУМОВ
Прагматические предикаты и эпистемическая
динамика в логике смысла (I)
Н.Н. НЕПЕЙВОДА
Интеллектуальные вирусы
С.А. ПАВЛОВ
Модифицированная семантика Фреге и
функциональная
интерпретация
В.М. Попов
Две последовательности простых паранспротиво-
речивых логик
В.М. Попов
Четыре простые иаралогики: семантики и
секвенциальные формулировки
Е.Д. СМИРНОВА
Теоретико-познавательные и
логико-семантические
основания парадоксов
В.Х. ХАХАНЯН
Интуиционистская арифметика с принципами
Маркова и Р
В.И. ШАЛАК
Логика термов
В.И. ШАЛАК
О понятии доказательства
Т.А. Шиян
Моделирование логических знаний и знаниевого
вывода средствами СУБД
Классическая вычислимость и признаки
индетерминизма
Б.В. БИРЮКОВ, И.С. ВЕРСТИН, В.И. ЛЕВИН
Жизненный и научный путь Виктора Ивановича
Шестакова - создателя логической теории
релейно-
контактных схем
Б.В. БИРЮКОВ, В.И. ШАХОВ
Первые приложения логики к технике: Эренфест,
Герсеванов и Шестаков. От применения логики к
рас
чету сооружений и релейным схемам к логической
тео
рии размерностей физических величин
В.Л. ВАСЮКОВ
Проблема контекста интерпретации в
универсальной
логике
И.А. ГОРБУНОВ, М.Н. РЫБАКОВ
Континуальные семейства логик
А.В. КРАСНЕНКОВА
Поиск натурального вывода в системах негативной
силлогистики
А.А. КРУШИНСКИЙ
" Генетический тип дедукции - альтернатива
традиционно понимаемой дедукции как выводу из
аксиом
В.И. ЛЕВИН
Акира Накашима и логическое моделирование
дискретных схем
Б.Б. ЛЕДНИКОВ
Об одном варианте динамической логики знания
И.Б. МИКИРТУМОВ
Прагматические предикаты и эпистемическая
динамика в логике смысла (I)
Н.Н. НЕПЕЙВОДА
Интеллектуальные вирусы
С.А. ПАВЛОВ
Модифицированная семантика Фреге и
функциональная
интерпретация
В.М. Попов
Две последовательности простых паранспротиво-
речивых логик
В.М. Попов
Четыре простые иаралогики: семантики и
секвенциальные формулировки
Е.Д. СМИРНОВА
Теоретико-познавательные и
логико-семантические
основания парадоксов
В.Х. ХАХАНЯН
Интуиционистская арифметика с принципами
Маркова и Р
В.И. ШАЛАК
Логика термов
В.И. ШАЛАК
О понятии доказательства
Т.А. Шиян
Моделирование логических знаний и знаниевого
вывода средствами СУБД
Отзывы
Вопросы
Поделитесь своим мнением об этом товаре с другими покупателями — будьте первыми!
Дарим бонусы за отзывы!
За какие отзывы можно получить бонусы?
- За уникальные, информативные отзывы, прошедшие модерацию
Как получить больше бонусов за отзыв?
- Публикуйте фото или видео к отзыву
- Пишите отзывы на товары с меткой "Бонусы за отзыв"
Задайте вопрос, чтобы узнать больше о товаре
Если вы обнаружили ошибку в описании товара «Логические исследования. Выпуск 14», то выделите её мышкой и нажмите Ctrl+Enter. Спасибо, что помогаете нам стать лучше!