Пацаны, у меня тут задача такая чет сложная решить не могу(( Пусть дана категория, где объекты симплициально-гомотопически эквивалентные симплициальные комплексы. Стрелки - классы симплициально-гомотопных симплициальных отображений между ними. Покажите, что n-ая группа симплициальных гомологий - это функтор в категорию абелевых групп((( Чет не получается(((((((
>>74557868 Я посмотрю, как ты на основе этого будешь свойства логарифма выводить, поехавший (можно, конечно, но ЗАЧЕМ?) >>74556738 >производную Сначала вывести производную экспоненты (на основе определения числа e), а потом - как прозводную обратного отображения. >первообразную По частям проинтегрируй же!
>>74559587 2) Ну с это типа мощность континуума. А за треугольничек в скобках я сам не ебу, какое множество имеется ввиду, может ОМ поскажет. Кстати, ОП, чем ты в жизни занимаешься кроме того что каждый день создаешь эти треды на ночном?
>>74573929 Таких нет. Для каждой области вводится своя необходимая аксиоматика. Впрочем механизмы доказательств общие и опираются в основном на zfc и логику Аристотеля.
>>74555167 Каков размер в байтах, сайта http://directory.io/ , если каждая страница занимает 64 килобайта, а всего страниц 904625697166532776746648320380374280100293470930272690489102837043110636675
>>74574727 С формальными системами слишком много возни, чтобы повторять её заново в каждой предметной области. Если не брать собственно формальную логику, то в современной математике всего одна аксиоматическая теория - это теория множеств. Все остальные конструируются из её понятий и никаких аксиом не содержат. Вместо них вводятся определения, которые по сути есть соглашения о терминологии. Мы договариваемся называть объект с определёнными свойствами определённым словом, но его существования не постулируем.
Задавайте вопросы.