URSS.ru Магазин научной книги
Обложка Зверев Г.Н. Теоретическая информатика и её основания Обложка Зверев Г.Н. Теоретическая информатика и её основания
Id: 91815
1123 р.

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

2007. 592 с. ISBN 978-5-9221-0925-3.
  • Твердый переплет

Аннотация

Двухтомник «Теоретическая информатика и ее основания» обобщает результаты полученные автором и другими исследователями. Монография содержит систематизированное изложение языка информатики и ее базисов, системологии, теоретической семиотики и лингвистики, объективированной информационной семантики логико-математического языка. Подробно описан аппарат классической и частотной логики, трилогики, тетралогики, которые моделируют преобразования формализованных... (Подробнее)


Оглавление
top

Предисловие

Основные сокращения

Глава 1. Введение

1.1. Информатика — наука и приложения к практике

1.2. Основные проблемы, понятия и категории теоретической информатики

1.3. Обзор содержания книги

Глава 2. Элементы системологии

2.1. Определение системологии, ее место в основаниях науки

2.2. Основные понятия системологии и информатики

2.3. Полюсный и ролевой базисы системологии

2.4. Виды систем, объектов, процессов

2.5. Знания, неопределенности и их виды

2.6. Адекватика

2.7. Форматика

2.8. Принципы, методы и законы системологии

Глава 3. Теоретическая семиотика. Теоретическая

лингвистика

3.1. Семиотика — наука о знаках, знаковых процессах в субъектах

3.2. Дальнейшие уточнения понятий семиотики

3.3. Виды и свойства знаков

3.4. Знаковые системы и процессы. Язык знаковой системы

3.5. Теоретическая лингвистика

Глава 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. Иерархические модели и операции

5.7. Теория сомножеств

5.8. Математические функции и процессы

5.9. Теория реляционных объектов. Связи и отношения

Глава 6. Логическая семантика в базисах информатики

6.1. Начала науки логики

6.2. Законы классической логики

6.3. Математизация классической логики

6.4. Функциональные и реляционные объекты логических систем

6.5. Частотная логика и алгебра

6.6. Трилогика и тетралогика

6.7. Оценка точности логических приближений. Дифференциальная алгебра логики

Глава 7. Морфология и алгоритмика. Структурная

семантика систем и процессов

7.1. Структурные модели систем

7.2. Абстрактные структуры

7.3. Структурные свойства и отношения

7.4. Структурная алгебра

7.5. Алгоритмика процессов и управляющие структуры

7.6. Меры сложности систем и процессов — фундаментальные информационные критерии

7.7. Размытые структурные модели систем и процессов

Глава 8. Индефинитика — теория неопределенностей

и мер информации

8.1. Неопределенность и индефиниция, знание и информация

8.2. Счетные меры внутренней неопределенности дискретной

переменной

8.3. Источники с ограниченной информативностью

8.4. Частотные меры неопределенностей дискретных распределений

8.5. Метрические меры неопределенностей

8.6. Меры неопределенностей составных информационных объектов

8.7. Вариативные и адеквативные меры информации

8.8. Модели неопределенностей

8.9. Преобразования моделей и мер неопределенностей

Глава 9. Сенсформика в исследовании, проектировании,

преобразовании реальности

9.1. Общая характеристика сенсформики

9.2. Принципы и постулаты сенсформики. Фундаментальные законы информатики

9.3. Начала сенсорики. Теория величин

9.4. Модели сенсорных преобразований

9.5. Свойства сенсоров

9.6. Основы рефорики

9.7. Метод иерархии неопределенностей — МИН

9.8. Информационные основания физики

9.9. Информационные основания объективированной математики

Список литературы

Глоссарий теоретической информатики

Принятые обозначения

Предметный указатель