Зверев Г.Н. Теоретическая информатика и ее основания. Том 1

М ФИЗМАТЛИТ, 2007 - 592 с - ISBN: 978-5-9221-0925-3Книга содержит систематизированное изложение языка и разделов информатики, системологии, логико-математического языка, теоретической семиотики и лингвистики, алгоритмики систем и процессов, индефинитики — теории неопределенностей, сенсформики — теории сенсорных, рефорных, эффекторных процессов целеполагания, исследования, проектирования, управления, проблемологии — теории определения критериев, моделирования процессов мышления. Сформулированы фундаментальные законы информатики.
Для студентов, аспирантов, инженеров-когнитологов, системных аналитиков, математиков, логиков, физиков, интересующихся проблемами информатики и теории интеллектаОглавлениеПредисловие
Основные сокращенияВведение
Информатика — наука и приложения к практике
Основные проблемы, понятия и категории теоретической информатики
Обзор содержания книгиЭлементы системологии
Определение системологии, ее место в основаниях науки
Основные понятия системологии и информатики
Полюсный и ролевой базисы системологии
Виды систем, объектов, процессов
Знания, неопределенности и их виды
Адекватика
Форматика
Принципы, методы и законы системологииТеоретическая семиотика. Теоретическая лингвистика
Семиотика — наука о знаках, знаковых процессах в субъектах
Дальнейшие уточнения понятии семиотики
Виды и свойства знаков ПО
Знаковые системы и процессы Язык знаковой системы
Теоретическая лингвистикаСемиотика логико-математического языка
Логико-математический субъект и его языки
Логико семиотические модели языка и мышления
Виды понятии Универсум понятий
Дефинитика — теория определений
Отношение между понятиями Семиотические сети
Операции над понятиями Контодентовые алгебры
Конструктивное определение адекватности понятии
Характеристика парадигмы логико математического языкаМатематическая семантика в базисах информатики
Информационная семантика теории множеств
Иерархический универсум множеств
Основные отношения между множествами
Операции и аксиомы информационной теории множеств
Семантика математических бесконечностей
Иерархические модели и операции
Теория сомножеств
Математические функции и процессы
Теория реляционных объектов Связи и отношенияЛогическая семантика в базисах информатики
Начала науки логики
Законы классической логики
Математизация классической логики
Функциональные и реляционные объекты логических систем
Частотная логика и алгебра
Трилогика и тетралогика
Оценка точности логических приближений Дифференциальная алгебра логикиМорфология и алгоритмика. Структурная семантика систем и процессов
Структурные модели систем
Абстрактные структуры
Структурные свойства и отношения
Структурная алгебра
Алгоритмика процессов и управляющие структуры
Меры сложности систем и процессов — фундаментальные информационные критерии
Размытые структурные модели систем и процессовИндефинитика — теория неопределенностей и мер информации
Неопределенность и индефиниция, знание и информация
Счетные меры внутренней неопределенности дискретной переменной
Источники с ограниченной информативностью
Частотные меры неопределенностей дискретных распределений
Метрические меры неопределенностей
Меры неопределенностей составных информационных объектов
Вариативные и адеквативные меры информации
Модели неопределенностей
Преобразования моделей и мер неопределенностейСенсформика в исследовании, проектировании, преобразовании реальности
Общая характеристика сенсформики
Принципы и постулаты сенсформики Фундаментальные законы информатики
Начала сенсорики Теория величин
Модели сенсорных преобразовании
Свойства сенсоров
Основы рефорики
Метод иерархии неопределенностей — МИН
Информационные основания физики
Информационные основания объективированной математикиСписок литературы
Глоссарий теоретической информатики
Принятые обозначения
Предметный указатель