September 6th, 2021

Энциклопедия графов.

Энциклопедия графов. http://pco.iis.nsk.su/grapp/index.php

«WikiGRAPP» — это электронный вики словарь по теории графов и ее применениям в информатике и программировании.

«WikiGRAPP» создается сотрудниками лаборатории конструирования и оптимизации программ Института систем информатики им. А.П.Ершова СО РАН при частичной финансовой поддержке Российского фонда фундаментальных исследований (грант РФФИ 18-07-00024).

«WikiGRAPP» базируется на словарях «Евстигнеев В.А., Касьянов В.Н. Толковый словарь по теории графов в информатике и программировании. — Новосибирск: Наука. Сиб.предприятие РАН, 1999. — 291 с.» и «Евстигнеев В.А., Касьянов В.Н. Словарь по графам в информатике. — Новосибирск: Сибирское Научное Издательство, 2009. — 300 с.»
----

«WEGA» — это интерактивная электронная энциклопедия теоретико-графовых алгоритмов решения задач информатики и программирования.
http://pco.iis.nsk.su/wega/index.php
---
РУБРИКА: ПРОЕКТЫ
http://pco.iis.nsk.su/info/index.php/category/projects/
---

Профиль. Обо мне.

Профиль. Обо мне. (эта страница)
https://deep-econom.livejournal.com/865978.html
---
Список постов на тему искусственного интеллекта.
https://deep-econom.livejournal.com/240140.html

Оглавление сборника постов.
https://deep-econom.livejournal.com/406760.html
---

Усложнять просто, упрощать сложно.

Непричесанные заметки о геополитике, экономике, трейдинге и обо всем, что в голову придет.
Заметки на тему сильный искусственный интеллект.

взгляды: системный: атеист, материалист, физикалист, редукционист, конструктивист, реалист
--
Дисклеймер (предупреждение):
Нельзя использовать математические методы, не понимая их сущности!
https://deep-econom.livejournal.com/191602.html

Я не физик, в вопросах касающихся физики могу сильно ошибаться.
Во всех остальных вопросах тоже могу ошибаться, читать с осторожностью. )
--

обширная библиотека Library Genesis или LibGen или Колхоз
http://libgen.rs/
http://libgen.is/
http://libgen.st/

Научные статьи в библиотеке Sci-Hub
https://sci-hub.ru/
https://sci-hub.se/

Lib.Ru: Библиотека Максима Мошкова http://lib.ru/

браузер Tor - для доступа в библу Колхоз и иные блокируемые ресурсы
https://www.torproject.org/ru/download/

Библиотеки, содержащие физико-математическую литературу
https://deep-econom.livejournal.com/298746.html

красивые ссылки с русскими буквами в Хроме
https://deep-econom.livejournal.com/554625.html

(no subject)

Глава Министерства транспорта России Виталий Савельев:
Мы собираемся к 2024 году в России уже создать возможность по биометрии, как по паспорту, вы будете пользоваться во всех общественных видах транспорта. По вашему лицу будут сканировать, будут узнавать, что это вы.

Равенство, эквивалентность, изоморфизм.

https://en.wikipedia.org/wiki/Equality_(mathematics)
https://en.wikipedia.org/wiki/Equational_logic

Барри Мазур. Когда одно равно другому? (2007)
Barry Mazur. When is one thing equal to some other thing?
https://people.math.harvard.edu/~mazur/preprints/when_is_one.pdf

https://ru.wikipedia.org/wiki/Мазур,_Барри

ps.
Подумать о чисто синтаксическом определении теории категорий, точнее определить предкатегории/протокатегории (объекты и стрелочки) чисто синтаксическом образом на основе нормальных алгоритмов Маркова.