8 (905) 200-03-37 Владивосток
с 09:00 до 19:00

Математические проблемы в логике приложения, Science Press Подличная книга Синьхуа Книжный магазин Флагманский магазин Wenxuan Официальный сайт

Цена: 2 915руб.    (¥137.92)
Артикул: 617274574470

Вес товара: ~0.7 кг. Указан усредненный вес, который может отличаться от фактического. Не включен в цену, оплачивается при получении.

Этот товар на Таобао Описание товара
Продавец:新华文轩旗舰
Рейтинг:
Всего отзывов:0
Положительных:0
Добавить в корзину
Другие товары этого продавца
¥3286 908руб.
¥30.7649руб.
¥15.66331руб.
¥12.4263руб.
  • Информация о товаре
  • Фотографии

Математические задачи в логике приложения

делать  К:(Английский) Д.М. Gabe et al., Под редакцией Du Guoping, перевод Chen Siaohua et al.
Конечно  цена:168
из Версия общество:Science Press
Дата публикации:01 марта 2020 г.
Страница  число:438
Пакет  рамка:Оплата в мягкой обложке
ISBN:9787030646354
Оглавление
●Первая часть
Предисловие к серии
Глава нестандартные рассуждения в описании логики: истории на сегодняшний день
1.1 Введение
1.2 Описание логики и стандартные рассуждения
1.3 нестандартные рассуждения——Мотивация и определение
1.4 Структурная характеристика классификации
1.5 Минимальное публичное включение
1.6 Самая конкретная концепция
1.7 Переписать
1.8 совпадение
1.9 Сводные и будущие перспективы
Рекомендации
Глава 2 Проблемы в проверенной логике
2.1 Введение
2.2 неформальная концепция доказательства
2.3 Основы проверенной логики
2.4 Проверенная логика интуитивно понятной арифметики
2.5 Утверждаемая логика и ограниченная арифметика
2.6 Классификация бимодальной проверенной логики
2.7 Магари Алгебра
2.8 Логика интерпретации
2.9 Актериальность градиента Алгебра
2.10 Список вопросов
Рекомендации
Глава 3 Открыть проблемы в динамической логике
3.1 Динамическая логика
3.2 Стандартная когнитивная логика
3.3 Публичное объявление: динамическая когнитивная логика
3.4 Динамическая когнитивная логика
3.5 Основа стандартной логики
3.6 от обновления информации до исправления убеждений
3.7 Когнитивная логика напряжения
3.8
3.9 Заключение
Рекомендации
Глава 4 Вычисляемость и появление
4.1 Новый мир
4.2 Корлапс описания, алгоритм и индуктивная структура
4.3 Онтология и математическая структура
4.4 с чего начать
4.5 модели для контента на основе алгоритма
4.6 Реальный уровень
4.7 Пересмотр содержания алгоритма
4.8 Что будет сделано
Рекомендации
Глава 5 Реинкарнация
5.1 Введение
5.2 Примеры процесса
5.3, какая логика нам нужна
5.4 Что такое логические системы и что они должны быть
5.5 Характер доказательства
5.6 Заключение
Рекомендации
Глава 6 Две двери, которые собираются открыть
6.1 Логическая и когнитивная наука
6.2 средневековая арабская семантика
Рекомендации
Глава 7 Манифест логики приложения
7.1 Что такое логика приложения
7.2 Разница между математикой и логикой и математической логикой
7.3 Применяемая философская логика
7.4 Отношения между информатикой и логикой приложений
7.5 Другие тематические исследования
7.6 включительно как можно больше
Рекомендации
Следующий
Глава о двух моделях проверки
1.1 Введение
1.2 Проверенная логика
1.3
1.4 Благодарности
Рекомендации
Глава 2 направление теории вычислительности за пределами чистой математической теории
2.1 Мотивация исследования
2.2 направление
2.3 Прогресс и перспективы
Рекомендации
Глава 3 Вычисляемость и вычислительная модель
3.1 Знание подготовки
3.2 Граница вычисляемой модели
3.3.Вычислительная структурная сложность модели
3.4 изоморфные проблемы
3.5 Типы вычислимых моделей и наборов индикаторов
3.6 Спасибо
Рекомендации
ГЛАВА 4 ЛОГИЧЕСКОЕ Основы относительности первого порядка
4.1 Введение (логика и геометрия пространства-времени)
4.2 Более конкретные введения (основы времени и пространства)
4.3 Особенности пространственного времени и времени общей теории относительности (проблемы для логиков)
4.4 Система логической аксиомы первого порядка для особой относительности, которая ускоряет расширение наблюдений
4.5, идущий дальше к общей относительности (GR) (тяжести эффект на часы)
4.6 Вопросы и предложения для будущих исследований
Рекомендации
Глава 5 за пределами гибридных систем
5.1 Введение
5.2 цифровые программы
5.3 Непрерывные растения и контроллеры
5.4 Гибридная система
5.5 дискретный
5.6 Непрерывность
5.7 Методология
Рекомендации
Глава 6 Региональная теория пространства: региональная алгебра, теория представления и логика
6.1 Введение
6.2 Исторический обзор теории регионального пространства
6.3 Региональная алгебра, модель и теория выражения
6.4 Региональное предложение модальная логика в пространстве
6.5 Спасибо
Рекомендации
Индекс
Пунктирное содержание

краткое введение

Эта книга вращается вокруг“Каковы важные, заметные и срочные проблемы в логике?”Эта тема расширена, и содержание разделено на две главы, в общей сложности 13 глав. Предыдущая статья включает в себя описание нестандартных рассуждений в логике, задачи в проверенных логических и открытых задачах в логической динамике, теории расчетов, развитии логики, логики и когнитивной науки, средневековой арабской семантике, взаимосвязи между прикладной логикой и развитием других дисциплин и т. Д. Математическая логика, региональная теория пространства и т. Д. Эта книга может быть прочитана и ссылается исследователями в соответствующих специальностях, таких как логика, математика, информатика, философия и лингвистика, а также учителя и студенты колледжа.