Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Теоретическая информатика и ее основания. Т. 1
Глава 6. Логическая семантика в базисах информатики
Предыдущая страница
Следующая страница
Table of contents
Основные сокращения
Глава 1. Введение
+
Глава 2. Элементы системологии
+
Глава 3. Теоретическая семиотика. Теоретическая лингвистика
+
Глава 4. Семиотика логико-математического языка
+
Глава 5. Математическая семантика в базисах информатики
+
Глава 6. Логическая семантика в базисах информатики
-
6.1. Начала науки логики
6.2. Законы классической логики
6.3. Математизация классической логики
6.4. Функциональные и реляционные объекты логических систем
6.5. Частотная логика и алгебра
6.6. Трилогика и тетралогика
6.7. Оценка точности логических приближений. Дифференциальная алгебра логики
Глава 7. Морфология и алгоритмика. Структурная семантика систем и процессов
+
Глава 8. Индефинитика - теория неопределенностей и мер информации
+
Глава 9. Сенсформика в исследовании, проектировании, преобразовании реальности
+
Список литературы
Глоссарий теоретической информатики
Принятые обозначения
Предметный указатель
Данный блок поддерживает скрол*