Абстрагирование

Страница: 1

Сообщений 1 страница 7 из 7

Поделиться12023-11-18 07:10:19

Автор: Лис
Участник
Зарегистрирован: 2023-03-10
Приглашений: 0
Сообщений: 649
Уважение: [+0/-0]
Позитив: [+0/-0]
Провел на форуме:
3 дня 16 часов
Последний визит:
2024-04-12 10:52:41

Если "абстрагирование" это одна из базовых операций мышления, то каким математическим символом она обозначается?

Один из наиболее распространенных символов для обозначения операции абстрагирования - это символ "∀" («для всех»), который используется в математической логике для обозначения квантора всеобщности. Этот символ используется для выражения утверждений, справедливых для всех элементов некоторого множества.

Значок "λ" уже не поиспользовать, у него более конкретный и другой смысл:
"λ-абстракция" - https://ru.wikipedia.org/wiki/Лямбда-исчисление
(отделяет имя связанной переменной от тела функции. Таким образом, с помощью абстракции можно конструировать новые функции)
т.е. смысл значка "λ" - это способ записывания функций, конструирования одних из других при помощи операции композиции.

А для абстрагирования в смысле "выделение общего и выявление различного" значка нет.
«Абстрагирование включает в себя отвлечение от несущественных сторон объекта с целью выделения его существенных, закономерных признаков. Этот процесс может быть сложным и многоуровневым, что затрудняет его представление в виде простого математического символа.»
Ну и что? Есть вводные, если результат, почему бы это не записывать символьно в краткой математической форме?

Существует ли значок для слова "операция", чтобы двумя значками обозначить словосочетание "операция абстрагирования", раз уж одного нет?
«символ "→" (U+2192) представляет стрелку вправо и может использоваться для обозначения направления операции или перехода»
«в контексте объектно-ориентированного программирования, символ наследования обычно обозначается двоеточием (":") перед указанием базового класса»
То есть, надо скомбинировать стрелку с надписанным сверху двоеточием.
Пока искал ещё увидел:
≝
⥆ ⥅
https://en.wikipedia.org/wiki/Mathemati … in_Unicode
⭀ EQUALS SIGN ABOVE LEFTWARDS ARROW
⥱ equals sign above rightwards arrow
https://www.compart.com/en/unicode/sear … ards+arrow
Но такой как мне надо стрелки нет.
Также, нет уверенности, что браузер сможет отрендерить комбинированный символ.
“◌⃯” (U+20EF) Combining Right Arrow Below
Выглядит не так, как бы хотелось:
[html]:⃯[/html]
хотелось бы двоеточие маленькое, а стрелку нормальную, а не приписку снизу.

Можно изобразить в математическом режиме LaTeX:

[html]<img src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFMAAABECAIAAAByA550AAABhWlDQ1BJQ0MgcHJvZmlsZQAAKJF9kT1Iw0AcxV9btVoqDnYQcchQi4NdVMSxVqEIFUKt0KqDyaUfQpOGJMXFUXAtOPixWHVwcdbVwVUQBD9AXF2cFF2kxP8lhRYxHhz34929x907wN+oMNXsSgCqZhmZVFLI5VeE4CtC6EEfxhCTmKnPimIanuPrHj6+3sV5lve5P0e/UjAZ4BOIE0w3LOJ14ulNS+e8TxxhZUkhPiceN+iCxI9cl11+41xy2M8zI0Y2M0ccIRZKHSx3MCsbKvEUcVRRNcr351xWOG9xVis11ronf2G4oC0vcZ3mCFJYwCJECJBRwwYqsBCnVSPFRIb2kx7+Yccvkksm1wYYOeZRhQrJ8YP/we9uzeLkhJsUTgLdL7b9MQoEd4Fm3ba/j227eQIEnoErre2vNoCZT9LrbS16BAxsAxfXbU3eAy53gKEnXTIkRwrQ9BeLwPsZfVMeGLwFQqtub619nD4AWeoqfQMcHAKxEmWveby7t7O3f8+0+vsBnFdyt8kYSrUAAAAJcEhZcwAALiMAAC4jAXilP3YAAAAHdElNRQfnCxIOHAnfYOdsAAAAGXRFWHRDb21tZW50AENyZWF0ZWQgd2l0aCBHSU1QV4EOFwAAAkBJREFUeNrt2b2vKUEYB+CdS5zCR0Q0bLeEmkIvGhoFITqNRicS4S+gpxGFBIVoSCQK2QYFhaBRiIJtBUsQVnzMKU5yc8uTnDi717y/coqdPJndd+bdQRhjisj8oUgNyEEOcpCDHOQgBznIQQ5ykIMc5CAHOchBDnKQv5V8vV4nEolMJvN8PsWk419PKpX6mrrVamHxIsKaMwxDURRCyGAwiLjk6PfvWDDG3W7XaDRaLBay5FDbQQ5yIuTX61XkzVwUeafToWnaZDJtNhuy5I1GY7vdchzHsixZZ7jJZGK1Wp1O5263E/EMB/s5yKWQw+Fgs9mazSZxcqVSuVgsisUicXKZTOZ2u1mWvVwuxH3n4XD4fD6Xy2XiejWMsd1u53l+Pp9/fHy8yX7+zbTbbYqi4vH4i54vXTnGOBaLIYSq1Spx8tvt5nK55HJ5qVQiS44xFgTB7/dTFBWJRHiel+jptd/v12q12Wz2kw4UIUTTtNls/jvyeDxyudxms9HpdNFoNBaL6fV6aVU4n8/36pqvUCjy+bwUO5bT6XQ8Hu/3+0/WXK1W/zsyHo8DgcB2uw0Gg+l02mQyvfmu9pVer6dUKmmaHgwGBFW46XSq0WgYhlkulwT154Ig2Gy24/E4HA5fcRsjl2z/nM1mZ7NZvV5/1SWUNN9znue1Wq3X632rG8XvpFKp7Pf7ZDJJXK/mcDhWqxXHcQghsv5GjUajUCj0OrZEK5xKpSoUCh6P56WzwF9nkIMc5CAHOchBDvL/L58/Dr/6Vffc+AAAAABJRU5ErkJggg==" />[/html]

Код:

\usepackage{amsmath}
\usepackage{graphicx}
...
\[\xrightarrow{:}\]

Ранее по теме (и не очень. Сообщения, где слово "абстрагирование" встречалось на форуме):
2021-01-19, 1968, Турчин В.Ф., Метаалгоритмический язык
2018-05-26, Какие проблемы были у системы Валентина-1
2017-12-15, Обшие (public) и Личные (private)
2017-11-30, Для чего мог бы пригодится язык Уткина

Отредактировано Лис (2023-11-18 17:30:34)

Поделиться22023-11-18 07:22:38

Автор: Лис
Участник
Зарегистрирован: 2023-03-10
Приглашений: 0
Сообщений: 649
Уважение: [+0/-0]
Позитив: [+0/-0]
Провел на форуме:
3 дня 16 часов
Последний визит:
2024-04-12 10:52:41

Проабстрагируем ~~слова~~ понятия {"волк", "коза", "капуста", "лодочник", "лодка", "берег"}. Эти ~~слова~~ понятия образуют множество, какое-то.
Нужно (надо):
1) придумать имя, записываемое словом или словосочетанием, этому множеству;
2) "записать математически" эту операцию.

∃ множество "Вещи" состоящее из элементов (т.е. для ∀ вещь_итая : вещь_итая ∈ множеству "Вещи"),
такое что ...

тут мысль останавливается. Потому что исходное множество понятий не имеет на себе отношения порядка.
а переменные множества "Вещи" хочется перенумеровать, или каким-то другим способом описать элементы этого множества,
например хешами ("Вещь"_шатая).

Можно, конечно, упорядочить слова по алфавиту (надо ли при этому как-то хранить соответствия "понятий", "словосочетаний", "слов", "словоформ" и "лексем"?), но это не человечно, потому что понятия мы не так упорядочиваем (точнее, не только так, а в основном "по важности", или ещё по какому-то признаку).

Кстати, "вещи" это, или "предметы" - тоже вопрос.
«вещью можно назвать все, о чем можно размышлять, опираясь на ее смысл, в то время как предмет материален»

"ничто́", "не́что",
"вещь", "сущность", "явление",
чем отличаются значения этих слов (или их смысл?)?

«In summary:
"Ничто" means "nothing" or "non-existence".
"Не́что" means "something" or "an indefinite object/phenomenon/event".
"Вещь" means "thing" or "object".
"Сущность" means "essence" or "nature".
"Явление" means "phenomenon" or "appearance".»

По-моему здесь есть разница между немецким и английским языком.
"нечто и вещь" vs "thing и something" записаны в разных направлениях, в разном порядке.
Etwas
Ding
Жаль, что немецкого языка я не знаю.

[html]<img width="100%" src="data:image/gif;base64,R0lGODlhSQMwAOf+AAAAAAEBAQICAgMDAwQEBAUFBQYGBgcHBwgICAkJCQoKCgsLCwwMDA0NDQ4ODg8PDxAQEBERERISEhMTExQUFBUVFRYWFhcXFxgYGBkZGRoaGhsbGxwcHB0dHR4eHh8fHyAgICEhISIiIiMjIyQkJCUlJSYmJicnJygoKCkpKSoqKisrKywsLC0tLS4uLi8vLzAwMDExMTIyMjMzMzQ0NDU1NTY2Njc3Nzg4ODk5OTo6Ojs7Ozw8PD09PT4+Pj8/P0BAQEFBQUJCQkNDQ0REREVFRUZGRkdHR0hISElJSUpKSktLS0xMTE1NTU5OTk9PT1BQUFFRUVJSUlNTU1RUVFVVVVZWVldXV1hYWFlZWVpaWltbW1xcXF1dXV5eXl9fX2BgYGFhYWJiYmNjY2RkZGVlZWZmZmdnZ2hoaGlpaWtra2xsbG1tbW5ubm9vb3BwcHFxcXJycnNzc3R0dHV1dXZ2dnd3d3h4eHl5eXp6ent7e3x8fH19fX5+fn9/f4CAgIGBgYKCgoODg4SEhIWFhYaGhoeHh4iIiImJiYqKiouLi4yMjI2NjY6Ojo+Pj5CQkJGRkZKSkpOTk5SUlJWVlZaWlpeXl5iYmJmZmZqampubm5ycnJ2dnZ6enp+fn6CgoKGhoaKioqOjo6SkpKWlpaampqenp6ioqKmpqaqqqqurq6ysrK2tra6urq+vr7CwsLGxsbKysrOzs7S0tLW1tba2tre3t7i4uLm5ubq6uru7u7y8vL29vb6+vr+/v8DAwMHBwcLCwsPDw8TExMXFxcbGxsfHx8jIyMnJycrKysvLy8zMzM3Nzc7Ozs/Pz9DQ0NHR0dLS0tPT09TU1NXV1dbW1tfX19jY2NnZ2dra2tvb29zc3N3d3d7e3t/f3+Dg4OHh4eLi4uPj4+Tk5OXl5ebm5ufn5+jo6Onp6erq6uvr6+zs7O3t7e7u7u/v7/Dw8PHx8fLy8vPz8/T09PX19fb29vf39/j4+Pn5+fr6+vv7+/z8/P39/f7+/v///////yH+EUNyZWF0ZWQgd2l0aCBHSU1QACwAAAAASQMwAAAI/gD9CRxIsKDBgwgTKlzIsKHDhxAjSpxIsaLFixgzatzIsaPHjyBDihxJsqTJkyhTqlzJsqXLlzBjypxJs6bNmwNjjWGGs6fPn0CDCh1KtKjRo0g/vkMAoEbSp1CjSp1KtarVq1gv7vMAAErWr2DDih1LtqxZsOlm4TvLtq3bt3Djyp1Lt6a6aODq6t3Lt69fkde68fsrFluaEQNgBCLMuLHjx33VpFgQo1A6yFL7wRlAoE48zKBDix5t9dwZAQYwkZYZb8uKPQzhAADQCeGfNbhz61ZzRkwdSrPmrR5OvLjxjIoACChlst5xgpNmA5il8BwBADwS4jFjRIJ0A0nA/ogH40XJBwANyCB7zr69++L9aACgkI+kFAKG2neRLknhqtl8MBSOALMJclA/t2QwWxr1vefggxD2JcdsyYzETgAAmNBeG9KNolAms5HSEAizeZIQOBDMhkWELLboolmczPYKSW5swEl7hEiHi0KXzLZKQyTM9gmP0rHy4pFIJgkViAD8qCRGm0jXDJFNAimkQupIJ8STXHbp5Uw9VvnlRLFIJw6VTi4UJABDKkQiAA6MKeecdH4UZpp1MoSMdPagaSWbC7EwmwR5FmrooQvd+dIiR4zmzWwMJOrjn20iJA9TACiB6KacGqqoS8k5I1o9s4UgqZhqXplQcgAUQIxC/vUQY0knuzinV6yz1npQONYI1M4tomRiCjG2KnSNLKEU045P+yijyinPFFuTO7qAssoy/XDU7LPRAgXPLtZOIxKutErbkTStfJKLPFiRq2tNxya77EOftlQNAH/ApE8xppBCzD5CNdDUqapQmlAxBcyWSULqpEGBFX+4YYMDZlyGkB9AZKzxxhwP488bHGf8xEDbhGxMRp+EnLE3AzHBsSUFNfxwxBNXXBAkCggiRApnCFJIGiEQIANzB5VSww5r6PFDAVhc85HKQPgx0Coh9ymQPoCogMQdbbSwAB7sGJQP1GRnPIk/bKhcoUD8hPwMQdZEYcALZlzxggeBACxQ/i1lhyzu1Vlv3fXXYXeUDNRDigK1xwSBowUDVhSChgUsiHoQxn1rzPhAMkMsMcUWD4QN2UyAgYgyehvUTycmkFBHIEIkUEfq/qSsMssCubwxzBxhnjkQmwvUOc2gI8TJ7xl7DHLIIwtUMscnD2Q00koz7XRDlUz6Ug0erFURKlAHEUUZmWyTED15UOCDH3aoUAHRA0F9BtpQ82MJ1NL4kwnUb8sBtXADGUGmFmKJ2ZzCYKoDRQUAUIFQJOQZIABBOAhyiwlEwBcIYcc0RhEBHFxjHCBEBgxm4wJdbMM56oBGJAYwGzw840wCuQcTZvOAPOSCHhmJRzZWgYHZMKEY/t7Qx0ByBIABfIEV5yAIBCVIQQticCDRoUDBCNIPURgAAD5AR0EAQYJjEEQWCRhAKzwijmKgYTYL4MQ11DGQcnAFACRwhDGy5Y96KMEI5SDIHhhovoKIYxhimM0BgiEOc6jjHfT4xhlmAwFSXGNZ6PiFEqTzBmhYTSDDaMFssoCLS1qiABXgBUGkcYQh6K0RAOgAJ5ohjmPkQEXVCAcyELEAANhCIHbEox752JF7cOMWOJgNBkYBDXf4Ix7bgMWbSnjCLy5gAcUYiDtkkAATGUSDHPQgCMchQhKaUFpLnOBAKnhBguQDHLsowmxO8IxxiAMaobABAErwC4PQIwkA/qBC6kIBgB9oUSA65KEPgShEgRDRiEjsCDY7+MEQjhAAzARnBMUpEHI+sSDwuMYpKjADaWxzGTKYDQx2wQ0UqpCFAHAhDP0hQxraEIcC4aIXBwJGMTYkErOhzktcAQDeUUQe23DFG6XQjXHIUhEdAEARcEcQbQjwEQPZRxkAwIaC+qOMZyxiIp5BDn+kAxqOIBAAyHAMbvjjHdg4xQRmwwNgdGMt8MhGKijAVl1g4x7+UIczLnGA2VzhGN2go0B0AIAxLOQOs6HFn+iwi8buYhiq6AMNBGCDPhTuILNQAASqYRBnDAABwFAIGvJFkELMxkMGqQEACGWQIQAADfPq/ggdZhMNgwgCAD3AhkEyu9nOfja0ApmEAHSBkETMhgsEMQYAkhA8fzACAApQxkfkgSEpGCQeEUBAJKwqEEMMIA15IUgTAHCC2BJkHWw9yJ7GahB9mGA20DjILQCQhoJIAgABuOUX32skf+whA58ZCCJm4wqCCAMAIvKHd8FbkPGW9yOsaOFB/nBag+TiOrcoSDQMEACeIGS0BTEtAFBLEN5ytiCeBa1BfjEbNhREHzMMQG2iKoR+em8gWQBA8wgyWwDUtiC3ze1IQFzaChfExL5VMULUkB+CHCJEB1EtawviWtgWRLnMLchzo8sQVajqJTqAQHgtQmEA9LeNIQDA/gL+JpBy9PAOBaGHAB1REOoCYAYHiQF+YUqQNMxmRwZZw2yIa5BgAmAcB4ECAGCjECTMJokMWVMQ0EDpSnNhBRWAgiCuZ5B3WAAAh1gyADZwWYPUYREFecRsMmwQR3fAIH1wQCpC8mQAmJUgtUiAHmgnEE+DWtSkFkglkJAQasymAkUGwAQE6w941PIHIGFKFwoyjyScIL4GMcJsrEuQXcxGageZDbEN8ozZwNkgnpjNIA7SigesgyDKSJiLC/JQLQhEDXRI9aoLUoOz+UPbAOD2QLwNAHB3hMUAaLK+AcDqgazjAgAIwkGoAIAtIeTUC294rz8d6oOoYdSl9sc0/mYzhxXPhgQEGcRsgEuQkQMgGAWp9a0HkutdkwTjBFE1wwvi644b5OPBPsgdbpTzfbc6lbCW9UFEvGyCOLufDLHGbNwQk25EwAYBrkh0pmOQMpOBIERAD7sKEh0JGJMgTAHCQcJOgIPsEQDLmPBsZkoQXmAIAHg1yCL9jRBoMKUIDllTper8cQKsgY0FmRAA+mgQaMwmDwlxAyUyfhBHc4Ag8ZgCDWb+kVozvh+EyEAuEKJ4xhfE8QCAvD/QYY6EIPzyA2GShgoizwBckiNMQe5AssGCLgDQIFqYjRkKQioA5AAh4j5IuQFw7oLcY4EfGExBurBugtQYAB7u82xU/uMPLcBPIDrX+McM1H3hE382x/cIwhlxkPAX5O2oOAhOASDdg0ie8gQpfd8fXxCXl7wgjwIADzAQ7SAwKnAgdLUEMTcbnxd6o1cS91d0O5d/DLh/qYcQbrAJ+FcQlod5msd5BCF7BlF7t4cQjsYAeQQTt2AAOoB4FLF1OkUQ6aZjA7cgBxENs6EIBZF2awcAbWcQbxd3XTd3BQEOHfBeeHcQfGBmCSENJQAALeCCqQIoCfEJswECKSgQ5JAwKZAQ/eAdD9AgemdNA+F+Rwd7/mANKdAGNwYSnicQ8PAEQNB6B7GFANCFCPGFAiiGeWgFPigK5kQHSiBKBVEFs/EN/h+RewMBCxhAhgcxDltgBYhYEAsEAsgHAONWEMvXfAWBWAAgCzEDAaXmchbAbAJBD5+gCXqTBLuwgQIRCXEgEJAoiQZRiR8BDLNBZwZhhgLRD58GAF1lEMcwGxp4EGfgiP7Ai/5gh3h4IGDIh/5nEAMGAFQXXLNRBiYIAGgoEG/YbHJIhyVxjK7IjF74jMY4RWVodByojQOhhmyYEPkgiIRIEIYIAJOoENzAFTUQjC/BCw7AAfo1ETBYEP0wSQFwZhSHYAeSAACgewPBgwbBdm43G0JYEGVGd/5gDzMACoqWhAYRHdFUEOEQClggABqwCNw1hYN3EEcwGy8ADwPR/gnJlxA3MBsXVRBfEH8SKH4C0YH+sAoNgGck8YbTYAIFEHIEIZOYqBA1CQA3aRCOAwA20FwIkQ/lEAWzgWgeoYj8oAcBEIsSUQ/goAFwdImZqETmhhDeQCBJEHNiUBDGNUAMkQlamY4TOBDOUGAJIZZkiXIeYWwA8H+u2AyCZIrCQ3IIkZOuqJRnaRBNeZPRyDlpEAAOsAiC5QSzUQiiBgBjx40VWJRHiRKKuZNJOZMI8ZgHcQWEZpc86Q8+CZRCGRFWiZWH1hDsEAYPEAFqIAt16RD3AAlPQATCOZzEWZzGqQR7MAjKOQhTMBtBUAsCmVMEQQ1AAAAgAGj+wA8p/gIAIWkQKwAANLCDAKB2EemDEwl3cgcAGMkFcOAPHZl3BZEKANANBjEHJxAACCAISKkQgrcQxSAd7SkQHAIAXqAQPzAbkIAQUwCKpHmG+1AHmNIfI+F5prBW+ZQQA1qgCXGgAJCgBGEPYcAFVUADBdAFloMQ/HAMfVADE+ABPvAmkNYRubcORsAUB1B/C1EPtbAGJyABJWAEtYQCZql8aYkQkyQAM8cPIFCRAhFIBEoRyogQOsqjPgqkACCkHxFSIwCfA6EH6ugPqDAbBQADZFqmZPoCBEAA+XYQC+qKGWqgCNpys6ECYlAGWPACARACm/B7ApECs9EBZmqmGkAA/g4Qo/5AoRZKBSjRpg0qoLOhoQjBoR5aEDTAaeD3pQNheQ8aoQ2Roivaoi/6aA7xDXqQAAEgA+T3EM4gVtLRqq76qrDqqirApw6xdUIwBmQgBefhA7UgfQKBDtKRAoFapg9AADYgnuRZEBIJhBSZnnTXCKbknrPBpQOBi+YyEKYBJ5rwEP0JK2KFbAIRfK+lEOoEAHqAEDXwKo1KEI4mAUFABeagZwUQPbQ2G1TQAtTgZwDAfgchrmhArrNxrgVRDc7wC6WwBQuwApnQhgKBD4uwQC/gCP8EBqK6lU0hAoFwDQ4AAB+wnwOBDmeAAAKABKVgKySCpQZhmmjJfAkh/guzUQcDMQs3YBCYSY1QiqkFAbIiS7Ime6UgEQ6ERQSq4AuzsAl4EAQo8KWaMBseQBHp6or+CrDmKqcE+gxWuwwHewF4YKgbMBsz5hC1dq/5Ohv8WhJPu65RmxDlKrAFYQF8mIw465qr9a7x2ir0ehAOC7ESKxAUCwCGmhCIwBRrsFIRoQ/sEA6Im7iKu7iMmw7v8LjvsA77oQGbwGu1OhuRYLXPQAyZkAMpYAmXpA3SQZ8PAZHKap7Mip5DqJ4CsQsk8G7S6pEFYQ1xohAi9rUqyRDnMRsw6Q9mYH4J0QOzgQgIUQGhc6l3ya6z0QcCoQ0PoI3H6xG1dgTOcQ8h/kUAMGcQvwsAwxe8w7sQ1UCWKgCO/sAO8mSuzNa3f6sRTGEA+iWfmOirBcEMC7QAejkQJzuk5FakB8EPXEEBeacEDjR9szE/ExGlBEG/ana/ApG/INEP0rAJbhAHfZAIr6AOyogLkEIRxuuK29u9CCG8AEC8AxGZBEEKAgidAvFKAIBqDzG91Xu92UsSHbyuH6wQIkzCBIEOzcialbe8zfu8HBC9A2G+AZu+FWu72xcT+iAFVMVnEjGQBMEPZ6QC2iAQ9nB3TMoQpgt2qPt+zbq6XuQNHoBtsUutuERaCcEPmlQBUJwQ3ZoQ+8CQAGAA0jeNAncQLzAbs2YQ81C7/uuaqavlq7VAINHqhrNxouEAcRlAvgKBxwqxxwDQxwpBcCkghhy6MAWhvolIgwOBB7OhxuflHQswJQXhwCm7lPvLsgmhcgAAiN1gAWjsyhJ3wHHrD+tAyqZMEKh8EsrIDdKBxgzxx7v4pZCcEJJMySKHmAYxXgKgX/uRUhBRa4rMyI78EcTsiseMEMlsEJdQjYHck4NMc4Zsuf6QyQbByQqBDgyZHTERSIBwEVJMEPQAcROQgkkFANjZEF08EMsKxqprkXNHDzCgzO9ZEZ7Ynfz5ZQgBmADAAgOBg+QlxwxJAOY1ENQgA8WcvIK8jf6wCPyHyItHEMRwRT6QkhJ9/gIU7YPLYpgEsQ8WyqC0gH4HsQWiSg9ftxGKOBD9gJkCwJM9hgcH0bVYmgy6KBAqOxCbWB0JowP+UAd2cBCECQClaMscPRBBPdQ+6w9GbRLK2A9ICIIF8bYCkdEbrXEpvdIWTbWCSRCOMBvkicIAMG3wuIAjPRAljUUp+Zca7YppjRBzzNIG4QMPGM5y69EgfYEFMdPGV9M3ndMG4bK/BhNWGM/yLJ0G8QShLBBTBQBEV5XI2oM/CNBbLBBlZgxXINQEcdAUkT0AYAoIlBBzIB06OBA8MBtMpYmbNBD30Lv+UApXcNY/7NH+4AX4FQsJMQ++LRHdGJPMTBC3DQC5/r2yWSAQacDABhFSALCt/pAHBRJlovoOGFAQ1wwROz0Q8qACynaPgzUbwuDHGIKlr7AiA5HUArHUCuGH9GcB0z0QOzAbhe18MVCCPnwQhAUA701t8S0Q800Q+iCFHBGlmDAbk4cQj0BavS09we2K/hDd/X3fu83WB0EJs+HU/qAPSWUB8vuhInB7zS0QStnWLwbhvunbwC3c0I3bCLF81V0Q3FACe43Ah20Qxh0AyE0Q3g0AqUoQquW3ZzXeB+HaY/QS8WABMWDOETHP9BjS1oAhVZAQzTAEoV2eo71LAU0QZRYFSLDirE2Q/JgQYaLMcMzQBmEMKHUCnekPxXAd/mxbEGOgZre2DRSgAHqJBhJq2D5JEPIgQBCQDQeBCghgAKrN3BVYEFcwGzo5EHs+tQfx5wtwa3ZgwAcxD9cBAMBl3ABw1ARIx4hoDlCekYQlAmLtEOet1Fc0A7f3Ric6TlcoEKZA30ityrrNygmBi3DEBAlBDCwUBQgRCo1i4bes6wYxX9bp68AevgBgBMJ8EVFqD+q9AmTtD/hwAr0i6IQuEIaO45rO5wjh6SBowgQhrnIwEPykkAexCVtg16YnEJcOAJlOENiu7RBh7oV+6AW+7pxuEO5OkEMwwBwuzsS96ADQ6ASB6qruK6zuD66OEFt35C7RBwKAoxah5WzD/gGzwaD+EEgIsO8DwQXc/ZDjKdrnWdr+UGYgcNFnbBDaMAP9tO0CUS9yLDAAoMkHEQoWCgK9UhBvTQClDQwGIABn9tYAkO/6gAGkSxBENOUFIbwRcBCjMBsocM1JOxsi/xBLCABmPBADAl3qOhBL3/RPf2bLYAAs312zEQN05NrIXhBrYNMAIErD0Nf+cArSoYASgQ/LfhBkYK9Wpd8uHFUxEHwDsBaDAJb+QA+z4QPqNRttwBAuMBsBeRDGFQDFSBBuRA0JkeQkVhCOXxD7EPlFRPmWn1UAUNsc8VwAoPUD8Q09BLN6171ST/VWbxBZbxBvbxBOD/UGsV5rYBC7/kAgHtCboHwBVz8Q14AB+372aS8Qa68AbT8QtG/7DRH8Jz78BVH8Su+DcK/85rQFPmDOiY2OBMH1Xg/24Kj3geb3gC/4BVFAqMISAJHPQhF/BQ0eRJgQISIAAFYl9NOwCD+D+IAAAEIvYSkV+g7iGwCgh8IfAAT0S2inoS+FdBqeUoikYbuEaRoCEKXQ4KWGD3U2KyYKyk0brYYdNYYMFR8dDR+4WafTUgEIpgz2K5WgQayDrABsAObPz5SE52g0rOIO4bEFDVPlQ9jqpghZcA2ebQhI515/5Fo0hBMPYbi2ABZAkndwatWrWbci7KSh1b6D7gA1TBHOYL4jDSkZ/uTXR0c9FQCmdMsCyeCsmwfw8VW4r1JDCtFQgn5zU4gzlN1GAGCAzKC7JnC+IQBwCFsLZgX1OWq4INntgvJsAiDhDXYmACOo62xEQEAmigWFnSClc18zDw13fFPoG7jwgsSNI1fO3OCcm0Fg/08onRvQUgshaVwwrUB/vokCitf88QosschCyCwCE1rMqoKw0oorhOxBo6EfqCsnEAW6g++gfvgoIAJYDNqHlA16QcgvwAQ7iLDoEDuIv4b8A7CgCMMaqyy80sKQKg394fAxg+q5JQUAslGoHy8aWuKctQp7K6656vKHM89AE40001BTTSGeHAqyTTcLogWATt7U/gmdGhriA7RquggAACbsQcgdKQBgoRqD4ukDhXEOkq2hCmg6KJ4HGjoGIX58aGiLqA4SB4WGzkjsIGQgaGgRQA/C46ZX+FrTJ4VUQCBWWWdF4IABAqiAhikumQe2bLBQ4IMptCjhATTKQWifIJx4ZAoVtDRokg0SoPUDXfzJwgJaG6DBoERoRaABbgwyZoUMuCDDTUg4oDWBEKj0xxhqZ00gJ4N+DXbYYo9VyJcmMFhCjC+GoPYISx68ChITANhBjzReeAPQaH4TIA7q+kljgiBaWLTNECKglYI1DGICXBSqY6OCAaQABAsYLikIFQYAeGAUf/ABAYKQt/BnGQ4W/qA1g0H2kkeBRQCMpokCQrDCixeGKEYhMljQmdYLWCAEIXlSXrnll2OeueaD0iFigjFOplOnSToA11qE9ClEAgagCMOHDyDxqCBlmXUW2oKknVdWtw/CV1hijUX2IGk+aGDWDEgQQQIESGhCFbsSigaIAF4IQwoPppDmoHXbfbcgedu11x+yzUY7yL2bffYgwKu9lnBgDd838YLg6LOhCEIgIXjhKzigdwAiiANbbWfl1ltwxWVSYYYdhlhiii3WqdW0t9dJDgMU3F4TDgJHAATIFXBghTCI2cuVEgQQYowkMIgjnYM+Zl6GGVpAgQSQY00AC2jwAhWQ4AIHuAkA/iagl0RsAFweEM4WJkArBowAR/5whxMqoIbvJER73NsePYJxClQQ43Jv40QbPAEpEKbNF8lrYdpESEITwqYdw1hFKGiBDI3wRRu0CMUu3qEibcBjLz8wYgzbxA9muGIUxchbQfCBDYQp8SDwqAA72sQOXoyiFtqxoj+Y6EQofoSKOtFHDcL4Jn0YwxSsgMYJnZPCFYJwhiWU4xrJAURfmGONb1Ojm/RBRxbKcIR4TMgTABADVpjjHnvpBzpUcQIALMGKPwziEK9SRFb15I90asaLPpk2arSCFMe4YBj5IQ5RtIcLo9zLB2E5S1oa5BOfqWUuw2gDXfYSNo8Igy9H/vmNKgjTmMfUJTGRCaAbqOCRQaKHCGawzIPIkprXRKY7KkAEYVoTm99ECBdoBM5vbsMH5KzlPkiwDHSmbRN9aGc85emPd87THyBIj5susYFvetOe/9xeIlrQTU8CdJnxYAFlDNpLP2xioXRyhg6ykER/eAJID9UJEOCFUY7OUqP2RID93PQNAnTwmP7saErJVQFhfqIh+VRpLetgiJiO8hwfqEdN+bKFhswpTCEYZ01rcQSdFpV7Q7UnPBiQNgmoA5t/aAgujBrTdgggirkMRkMCMdVPImMEmuQqCPsRBUaEFSFmAEAAmlGQQnihqO0wAX3MOteEwFWu8cSGCtIGy4PQXXMoAMAGXTFaAd3lkh8kAIAGeijY7a0DBCxhLJ0MYQSTcvUZCyjEPsKhBx6AT6VHyFpkGQvaf8KDnXRihmeNaY0EAOCcogXoMRary2tIwLWFhC2AbphbN/WiV5F9hhRKwINAPFOns+AtXZGbXGF24wUA8AAYmTtdnWgDCwF4QB1sUVjqdte73wVveMVbEHO4wg0KKAC/xuvdcHgCDVHYw3rlO1/61te+7WxDFdyAik3d17//BXCABTxgAhfYwAdGcIIVvGAGCzggADs=" />[/html]

В математике записывают через знак равенства:

A = {1,2,3}.

Здесь множество A это множество из трёх конкретных элементов, 1, 2 и 3.
Но при абстрагировании нет равенства, например "берег" не был упомянут, но он тоже абстрагируется в вещь.

А нельзя было использовать дефис, или слова "это есть"?
Берег - вещь. Берег это есть вещь.

Нуу, можно, наверное, но лично мне не очень понятно. А новое неизвестное обозначение непонятно всем остальным.

Ещё можно обыграть одинаковый вид дефиса и математической операции "минус". Берег - ? = вещь. Если абстрагирование это отбрасывание, то наоборот можно использовать символ "плюс". Вещь это, например, берег. Вещь + ? = берег.

-?= абстрагирование
+?= конкретизация

О - образ (в памяти / на диске, в стеке / в куче, в TLS / глобально процессу)
-О= типизация (без "typeof"), абстрагироваться от объектности
+О= инстанциирование (без всяких слов "new" на латинице), "создать образ".

"Узри берег_левый, узри берег_правый"

Если использовать символ 'И' для обозначения ~~"идентификатора"~~/"имени", то
-И= разыменовывание
+И= именование
("Перечень" это ассоциативный массив? "Словарь" в терминах языка Клаус)

"берег_левый -И= берег, берег_правый -И= берег."
"берег+И= берег_левый, берег+И= берег_правый"
(здесь видно, что давание/дача имени это не то же самое, что присваивание значения)

а если "индекс", а не "идентификатор", обозначить символом '№', то можно обозначить операции "персонификации/массивизации"
~~массив~~/~~множество~~/перечень берегов-№=берег
берег+№=перечень/~~множество~~/~~массив~~ берегов
-№= разнумеровывание, поиск/отбор/выделение
+№= нумерование, перечисление/опись/инвентаризация, складирование/складывание в массив/кучу,
("Список" это индекcируемый массив?)

"берег +№= +И= перечень_берегов." // объявили перечень (как тип-массив)
"перечень_берегов -№= перечень."
"перечень_берегов -И= берег."
"перечень_берегов_речки -И= перечень_берегов", "перечень_берегов +И= перечень_берегов_речки" // создали переменную типа и дали ей имя
"перечень_берегов_речки +О= ?" // анонимно выделили память
"перечень_берегов_речки = {берег_левый, берег_правый}." // записали перечень (+З= ?, где З - значения/знания/знаки/заполнение)
"{берег_левый, берег_правый} -З= перечень_берегов"
"перечень_берегов +З= {берег_левый, берег_правый}" // enum, о котором знает компилятор, но он не хранится в памяти программы
(тут у меня путаница между значениями и именами, с этим надо разобраться)

Символы И и № выглядят похоже друг на друга, ~~прикольно~~/забавно.

Отредактировано Лис (2023-11-18 20:23:09)

Поделиться32023-11-18 07:49:59

Автор: Лис
Участник
Зарегистрирован: 2023-03-10
Приглашений: 0
Сообщений: 649
Уважение: [+0/-0]
Позитив: [+0/-0]
Провел на форуме:
3 дня 16 часов
Последний визит:
2024-04-12 10:52:41

Почитать бы про эти слова словарь Апресяна...
2014, В.Ю. Апресян, Б. Л. Иомдин, Активный словарь русского языка

ВЕЩЬ, СУЩ; ЖЕНСК; -и, МН ве́щи, веще́й.
вещь 1 'предмет': выбрасывать ненужные вещи.
вещь 2 'произведение искусства': Вещь скучная - мало кто одолел полностью.
вещь 3.1 'ситуация или положение дел': Вдруг проихошла неожиданная вещь - отец женился.
вещь 3.2 'важное сообщение': Хочу сказать тебе одну вещь.
вещь 4.1 'объект, характеризуемый как А2': [в составе именного сказуемого]: Дружба - чудесная вещь!
вещь 4.2, разг. 'ценный объект': [в составе именного сказуемого]: Настоящая уха - это вещь!

Из этого примера мы видим, что составители словаря не умеют в диалектику, ~~на этом словарь можно закапывать,~~ поэтому нужно составлять ещё один словарь, другим образом.

АБСТРА́КТНЫЙ, ПРИЛ; -ая, -ое, КР -тен, -тна, СРАВ -ее.
абстрактный 1.1
Абстрактные принципы; абстрактная наука;
с абстрактной точки зрения; способность к абстрактному мышлению.
ЗНАЧЕНИЕ. 'Основанный на выделении наиболее общих свойств предметов и явлений'.
абстрактный 1.2
Абстрактные разговоры; Вы рискуете благополучием людей ради каких-то абстрактных целей.
абстрактный 1.3
абстрактный 1.4
...

Слов "абстрагировать" (глагол), "абстрагирование" (существительное) нет.
А главная рекламируемая фишка этого словаря заключалась в том, что у глаголов описаны "валентности",
кого и как можно абстрагировать, а когда нельзя. Таким образом, для активного изменения мира
словарь непригоден.

Отредактировано Лис (2023-11-18 09:16:04)

Поделиться42023-11-18 09:21:08

Автор: Лис
Участник
Зарегистрирован: 2023-03-10
Приглашений: 0
Сообщений: 649
Уважение: [+0/-0]
Позитив: [+0/-0]
Провел на форуме:
3 дня 16 часов
Последний визит:
2024-04-12 10:52:41

При упорядочивании слов "абстрактный", "абстракция", "абстрагировать", "абстрагирование" можно заметить, что эти слова родственные. То есть порождены из друг-друга (или из корня при помощи вспомогательных частей слова?).

Учитывать родственность слов - это важно для упорядочивания.

Корень тут славянским не выглядит. Стоит ли подумать, как сказать это более домотканно? Находку нельзя будет использовать (не поймут), но может быть всплывут какие-нибудь дополнительные ассоциации и связи с другими понятиями.

«В европейской философии и логике абстрагирование трактуется как способ поэтапного продуцирования понятий, которые образуют всё более общие модели — иерархию абстракций.»
https://ru.wikipedia.org/wiki/Абстракция

Россия - Европа или "Северная Азия"? Если рубили окно в Европу, то получается, что не Европа.
Как можно считаться Европой не имея Евро (SEPA), и не входя во всякие европейские союзы?
Только географически!
Но у нас здесь Россия считается Европой, особенно на украине ("украина це Европа"), по меньшей мере "до Урала".

Есть ли российская философия - не знаю. Перечислите-ка российских думцев и их речения/измышления.

«The word "abstraction" comes from the Latin word "abstractio", which means "abstraction" or "removal"»

Отредактировано Лис (2023-11-18 09:46:15)

Поделиться52023-11-18 09:49:19

Автор: Лис
Участник
Зарегистрирован: 2023-03-10
Приглашений: 0
Сообщений: 649
Уважение: [+0/-0]
Позитив: [+0/-0]
Провел на форуме:
3 дня 16 часов
Последний визит:
2024-04-12 10:52:41

https://en.wikipedia.org/wiki/Abstraction#In_neurology

A recent meta-analysis suggests that the verbal system has a greater engagement with abstract concepts when the perceptual system is more engaged in processing concrete concepts. This is because abstract concepts elicit greater brain activity in the inferior frontal gyrus and middle temporal gyrus compared to concrete concepts which elicit greater activity in the posterior cingulate, precuneus, fusiform gyrus, and parahippocampal gyrus.[20] Other research into the human brain suggests that the left and right hemispheres differ in their handling of abstraction. For example, one meta-analysis reviewing human brain lesions has shown a left hemisphere bias during tool usage

Гипотеза: Правая рука развита сильнее, и области мозга с ней связанные конечно лучше заточены на оперирование. На словестные упражнение используется остальное. Они бы левшей поизучали.

Анато́лий Бори́сович Рапопо́рт.
В 1921 году переезжает в США, получил широкую известность благодаря анализу связей между языком, мышлением и действием, а также благодаря исследованиям по использованию языка в конфликтных ситуациях.
"Abstracting is a mechanism by which an infinite variety of experiences can be mapped on short noises (words)."
https://en.wikipedia.org/wiki/Anatol_Rapoport
(стоит ли читать его работы?)

Слова у нас в программировании доступны, значит абстрагирование программируемо? Если нет, то что мешает?

Отредактировано Лис (2023-11-18 09:58:29)

Поделиться62023-11-18 17:53:04

Автор: Лис
Участник
Зарегистрирован: 2023-03-10
Приглашений: 0
Сообщений: 649
Уважение: [+0/-0]
Позитив: [+0/-0]
Провел на форуме:
3 дня 16 часов
Последний визит:
2024-04-12 10:52:41

Answer | Phind V8 Model

Q: В чём разница между конкретизацией и инстанциированием?

A: Конкретизация и инстанциирование являются двумя разными понятиями, используемыми в различных областях, включая философию и программирование.

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

Инстанциирование - это процесс создания конкретного экземпляра абстрактного объекта или концепции. В контексте программирования, это может включать в себя создание нового объекта или экземпляра класса из абстрактного типа данных.

В контексте философии, инстанциирование могло бы включать в себя создание конкретного примера или иллюстрации абстрактной идеи или концепции.
В философии нет общепринятого понятия "инстанцирования" в том смысле, как это используется в программировании. Вместо этого, философия использует различные термины и концепции для описания процесса применения абстрактных идей к конкретным ситуациям или объектам.
Важно понимать, что в философии, абстрактные идеи и концепции не являются просто "шаблонами", которые можно "инстанцировать" в реальный мир.

Таким образом, основное различие между конкретизацией и инстанциированием заключается в том, что конкретизация связана с уточнением или детализацией абстрактной информации, в то время как инстанциирование связано с созданием конкретного экземпляра абстрактного объекта или концепции.

Q: Чем "операция типизации" отличается от "операции абстрагирования"?

A: Важно отметить, что эти два процесса не взаимозаменяемы и выполняют разные функции. Абстрагирование используется для упрощения сложных систем или ситуаций, в то время как типизация используется для обеспечения безопасности типов и управления поведением программ.

Отредактировано Лис (2023-11-18 18:05:14)

Поделиться72023-11-18 22:49:19

Автор: Лис
Участник
Зарегистрирован: 2023-03-10
Приглашений: 0
Сообщений: 649
Уважение: [+0/-0]
Позитив: [+0/-0]
Провел на форуме:
3 дня 16 часов
Последний визит:
2024-04-12 10:52:41

Q: Лис, может быть ты всё-таки изобретаешь лямбда-исчисление? Все вот те операции они могут быть записаны как функции, а дальше по книжке.
A: Да? По какой?
Q: Ну может ты выучишь уже не очень типизированный Lisp и очень типизированный Haskell? А то о чём с тобой разговаривать?

Отредактировано Лис (2023-11-19 04:26:05)