Автор рассматривает три концепции в теории картографии: познавательную, коммуникационную и семиотическую. Предпринята попытка объединить три концепции в одну, добавив к ней логические конструкции. Показан подход к таким проблемам, как генерализация, преобразование картографических изображений, формализация описания качественных характеристик траектории.
ISBN: 5-8360-0008-5
Издательство:
Эдиториал УРСС
Дата выхода: январь 1999
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Геделя о неполноте...
ISBN: 978-5-85582-335-6
Издательство:
Лори
Дата выхода: ноябрь 2012
Найденных опечаток пока нет
Добавить запись