Главная arrow Форум
Добро пожаловать, Гость
Пожалуйста выполните Вход или Зарегистрируйтесь.    Забыли пароль?

Модель А vs "Штурвал Калинаускаса"
(1 просм.) (1) Гость
Перейти вниз[На стену ВКонтакте]
нажмите и ссылка появится в новостях
Страница: 1...4567891011
Тема: Модель А vs "Штурвал Калинаускаса"
*
#3009
Re: Модель А vs "Штурвал Калинаускаса" 2 Год назад  
Если мы фиксируем типы (способ типирования), тогда мы можем оптимизировать описания типов. (Так чтобы информация о типе была наиболее достоверна)

Или мы фиксируем описания , тогда мы можем оптимизировать методику типирования.

"Типирование по модели А" ,как я могу понять, это оптимальный способ типирования к конкретной модели А.
Типирования по любым моделям А будут отличаться. Т.е. типы будут разные для разных моделей А.
Yes (Пользователь)
Junior Boarder
Сообщений: 35
graphgraph
Пользователи в Off line Нажмите чтобы посмотреть профиль этого пользователя
Администратор запретил написание сообщений незарегестрированными пользователями
 
#3010
Re: Модель А vs 2 Год назад  
Эта заметка не об этом. Тема, которую поднял ты куда более фундаментальная, чем просто сопоставление двух моделей.
Wechsel (Администратор)
Panta rei
Админ
Сообщений: 377
graphgraph
Пользователи в Off line Нажмите чтобы посмотреть профиль этого пользователя
Пол: Мужской Место: Санкт-Петербург Дата Рождения: 1987-03-06
Администратор запретил написание сообщений незарегестрированными пользователями
 
#3011
Re: Модель А vs 2 Год назад  
К слову о моделях.
БСЭ:
Модель (в широком понимании) — образ (в т. ч. условный или мысленный — изображение, описание, схема, чертёж, график, план, карта и т. п.) или прообраз (образец) какого-либо объекта или системы объектов ("оригинала" данной М.), используемый при определённых условиях в качестве их "заместителя" или "представителя". Так, М. Земли служит глобус, а М. различных частей Вселенной (точнее — звёздного неба) — экран планетария. В этом же смысле можно сказать, что чучело животного есть М. этого животного, а фотография на паспорте (или список примет и вообще любой перечень паспортных или анкетных данных) — М. владельца паспорта (хотя живописец, напротив, называет М. именно изображаемого им человека). В математике и логике М. какой-либо системы аксиом обычно называют совокупность объектов, свойства которых и отношения между которыми удовлетворяют данным аксиомам, в терминах которых эти объекты описываются.

Все эти примеры естественно делятся на 2 основные группы: примеры первой группы выражают идею "имитации" (описания) чего-то "сущего" (некоей действительности, "натуры", первичной по отношению к М.); в остальных примерах, напротив, проявляется принцип "реального воплощения", реализации некоторой умозрительной концепции (и здесь первичным понятием выступает уже сама М.). Иными словами, М. может быть системой и более высокого уровня абстракции, чем её "оригинал" (как в первом случае), и более низкого (как во втором). При различных же уточнениях понятия "М." средствами математики и логики в качестве М. и "оригиналов" выступают системы абстрактных объектов, для которых вообще, как правило, не имеет смысла ставить вопрос об относительном "старшинстве". (Более подробно о возможных классификациях М., исходящих, в частности, из характера средств построения М., см. в ст. Моделирование.)

В естественных науках (например, в физике, химии) следуют обычно первому из упомянутых пониманий термина, называя М. какой-либо системы её описание на языке некоторой научной теории (например, химическую или математическую формулу, уравнение или систему уравнений, фрагмент теории или даже всю теорию в целом). В таком же смысле говорят и о "моделях языка" (см. Модели в языкознании), хотя в настоящее время всё чаще следуют второму пониманию, называя М. некоторую языковую реальность, противопоставляя эту реальность её описанию — лингвистической теории. Впрочем, оба понимания могут и сосуществовать; например, релейно-контактные схемы используют в качестве "экспериментальных" М. формул (функций) алгебры логики, последние же, в свою очередь, — как "теоретические" М. первых.
[...]
Yes (Пользователь)
Junior Boarder
Сообщений: 35
graphgraph
Пользователи в Off line Нажмите чтобы посмотреть профиль этого пользователя
Администратор запретил написание сообщений незарегестрированными пользователями
 
#3012
Re: Модель А vs 2 Год назад  
И что ты этим хотел сказать? На сколько я могу судить данная вырезка практически полностью подтверждает всё, что я говорил выше и опровергает часть того, что говорил ты. Ну и?
Wechsel (Администратор)
Panta rei
Админ
Сообщений: 377
graphgraph
Пользователи в Off line Нажмите чтобы посмотреть профиль этого пользователя
Пол: Мужской Место: Санкт-Петербург Дата Рождения: 1987-03-06
Администратор запретил написание сообщений незарегестрированными пользователями
 
#3013
Re: Модель А vs 2 Год назад  
Мне понравилось, что в этой статье слово "описание" часто фигурирует.
Поэтому я её и привел.

И на сколько я могу судить данная вырезка практически полностью подтверждает всё, что я говорил выше и опровергает часть того, что говорил ты.
Yes (Пользователь)
Junior Boarder
Сообщений: 35
graphgraph
Пользователи в Off line Нажмите чтобы посмотреть профиль этого пользователя
Администратор запретил написание сообщений незарегестрированными пользователями
 
#3014
Re: Модель А vs 2 Год назад  
Вобщем, обсуждение было для меня интересным ,потому что по крайней мере я сам себе кое-что объяснил.
Думаю , кому-нибудь будет интересно всё это почитать.
Yes (Пользователь)
Junior Boarder
Сообщений: 35
graphgraph
Пользователи в Off line Нажмите чтобы посмотреть профиль этого пользователя
Администратор запретил написание сообщений незарегестрированными пользователями
 
Перейти наверхСтраница: 1...4567891011
Модераторы: Galina_Gattino