В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Теория категорий

559 membersпожаловаться на группу
2018 April 06

VY

Vasiliy Yorkin in Теория категорий
В целом я понял: зависит от требований к детализации.
Можно написать рассуждения очень коротко и это будет доказательством (в случае, если ошибок нет, кончно),
а можно очень детально.
источник
15:06пожаловаться#1

Oℕ

Oleg ℕizhnik in Теория категорий
Но тут уже вопрос нетривиальный, потому что немного утыкается во внутренний язык вашей теории категорий и понятие равенства
источник
15:07пожаловаться#2

DR

Denis Redozubov in Теория категорий
есть хорошая книга про то как доказывать теоремы: https://www.amazon.com/How-Prove-Structured-Approach-2nd/dp/0521675995
Amazon
How to Prove It: A Structured Approach, 2nd Edition: Daniel J. Velleman: 9780521675994: Amazon.com: Books
Buy How to Prove It: A Structured Approach, 2nd Edition on Amazon.com ✓ FREE SHIPPING on qualified orders
источник
15:09пожаловаться#3

DR

Denis Redozubov in Теория категорий
она довольно базовая, но достаточно занудная и въедливая, чтобы быть полезной в этом
источник
15:09пожаловаться#4

AG

Alex Gryzlov in Теория категорий
э д у к е р а
источник
15:10пожаловаться#5

AG

Alex Gryzlov in Теория категорий
но там конечно больше про формальную логику
источник
15:10пожаловаться#6

Oℕ

Oleg ℕizhnik in Теория категорий
внимание расшифровка иронии:
app.edukera.com
источник
15:11пожаловаться#7

VY

Vasiliy Yorkin in Теория категорий
ого, спасибо, это прям вообще как для детей (мне подойдет)
источник
15:12пожаловаться#8

Oℕ

Oleg ℕizhnik in Теория категорий
Vasiliy Yorkin
ого, спасибо, это прям вообще как для детей (мне подойдет)
не торопись с выводами
источник
15:13пожаловаться#9

DM

Daniel Matveev in Теория категорий
особенно с выводами об интерфейсе
источник
15:13пожаловаться#10

Oℕ

Oleg ℕizhnik in Теория категорий
в этом чате нет людей, которые прорешали бы целиком раздел с кванторами
источник
15:13пожаловаться#11

DR

Denis Redozubov in Теория категорий
Vasiliy Yorkin
В целом я понял: зависит от требований к детализации.
Можно написать рассуждения очень коротко и это будет доказательством (в случае, если ошибок нет, кончно),
а можно очень детально.
Чтобы самому убедиться что оно правильно, стоит как раз максимально детально это делать. Я сам многократно допускал ошибки из серии “это же очевидно, поэтому это приводится к этому”, что приводило к неверному доказательству.
источник
15:13пожаловаться#12

Oℕ

Oleg ℕizhnik in Теория категорий
@clayrat или есть?
источник
15:13пожаловаться#13

AG

Alex Gryzlov in Теория категорий
неа
источник
15:14пожаловаться#14

AG

Alex Gryzlov in Теория категорий
минутка граммарцизма: "кванторами"
источник
15:14пожаловаться#15

Oℕ

Oleg ℕizhnik in Теория категорий
океюшки
источник
15:17пожаловаться#16

DR

Denis Redozubov in Теория категорий
Прошел два первых упражнения на эдукере. Норм.
источник
15:20пожаловаться#17

AG

Alex Gryzlov in Теория категорий
там сложность скачет
источник
15:21пожаловаться#18

DR

Denis Redozubov in Теория категорий
жалко хинтов нет
источник
15:21пожаловаться#19

KV

Kirill Valyavin in Теория категорий
Кто-нибудь кроме меня испытывает проблемы с логином в эту самую эдукеру?
источник
15:45пожаловаться#20