Текущее время: 19 янв 2022, 08:52

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 43 ]  На страницу Пред.  1, 2, 3, 4, 5
Автор Сообщение
СообщениеДобавлено: 29 май 2010, 12:18 
Не в сети
Аватара пользователя

Зарегистрирован: 06 окт 2008, 13:32
Сообщения: 652
Откуда: Москва
Итак, посмотрим на то, что помянуто было в качестве средств формального описания:
  • аппарат теории множеств и мультимножеств;
  • матричный аппарат;
  • аппарат реляционной алгебры;
  • сети и графоподобные структуры.
Всё это в сочетании с символьными и иконическими знаками...
Не густо...

Но остается нерешённой проблема повышения выразительности и различимости формального описания - особенно, если учесть ограничения оперативной памяти человека (7 +/-2 или 5 +/-2).
Основное направление потуг в этой области - переход к графическим 2D и 3D представлениям, к интерактивным динамическим средствам отображения (компьютерная графика).

Классическая символьная нотация остается всё столь же громоздкой, малоинформативной и нечитабельной, а отвязать ее от начальной точки отсчёта при описании иерархий не представляется возможным, хотя эта точка отсчёта в каждой отрасли знаний своя...

То есть потенциал символьной нотации исчерпан? Таков ли итог?

_________________
Разумному - достаточно...


Вернуться к началу
 Профиль Отправить личное сообщение  
 
СообщениеДобавлено: 30 май 2010, 18:58 
Не в сети

Зарегистрирован: 25 окт 2009, 13:57
Сообщения: 114
Конотопов П.Ю. писал(а):
Итак, посмотрим на то, что помянуто было в качестве средств формального описания:
* аппарат теории множеств и мультимножеств;
* матричный аппарат;
* аппарат реляционной алгебры;
* сети и графоподобные структуры.
Всё это в сочетании с символьными и иконическими знаками...
Не густо...


Я бы добавил сюда то, что я использую:
* конечные автоматы;
* формальные грамматики (что то же самое, впрочем);
* топология.


Вернуться к началу
 Профиль Отправить личное сообщение  
 
СообщениеДобавлено: 03 июн 2010, 11:48 
Не в сети
Аватара пользователя

Зарегистрирован: 06 окт 2008, 13:32
Сообщения: 652
Откуда: Москва
Спасибо, Анатоль...
Хотелось, чтобы кто-нибудь добавил эти системы/методы формального описания...
Первые два, конечно очень похожи на сети и графоподобные структуры, но являются мостиком между многими графическими и "символьными" моделями.
Спасибо.

_________________
Разумному - достаточно...


Вернуться к началу
 Профиль Отправить личное сообщение  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 43 ]  На страницу Пред.  1, 2, 3, 4, 5

Часовой пояс: UTC + 3 часа [ Летнее время ]


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
cron
Форум работает под управлением OCS PHPBB3 © PHPBB GROUP