Pull to refresh
47
Karma
0
Rating
Валерий @kharvd

Пользователь

Как первокурсник определение Коши сократил

Формальный != наглядный и очевидный, простите. Мне на первом курсе было крайне тяжело понять эти «формальные» доказательства со всякими «возьмем дельта равным эпсилон делить на пятнадцать пи в квадрате».

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

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

Как первокурсник определение Коши сократил

Вы, по-видимому, не совсем поняли доказательство. Мы берем произвольный k > k_0, т.е. k = k_0 + q, где q натурально, где k_0 выбрано из утверждения B по eps (с точностью до переобозначения). И доказываем, что для всех натуральных p справедливо утверждение из первого определения.

P.S. О Principia Mathematica слышали? В стремлении за формализмом можно дойти вот до такого абсурда.

Как первокурсник определение Коши сократил

А я бы наоборот посоветовал автору ознакомиться с современным учебником анализа, в котором прослеживается связь с топологией. Зорич, например. Или Дьёдонне. И тогда станет ясно, откуда взялось k0 (из понятия направленности или предела по фильтру его уже нельзя будет выкинуть).

Студенты СПбНИУ ИТМО стали победителями 37-ого Студенческого Чемпионата Мира по Программированию

В реальной жизни разные перестановки массива не равновероятны, и в некотором приложении вполне может оказаться так, что довольно часто попадается worst case.

Студенты СПбНИУ ИТМО стали победителями 37-ого Студенческого Чемпионата Мира по Программированию

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

Студенты СПбНИУ ИТМО стали победителями 37-ого Студенческого Чемпионата Мира по Программированию

Полагаю, им есть чем заняться, кроме как писать комментарии на хабре.

Студенты СПбНИУ ИТМО стали победителями 37-ого Студенческого Чемпионата Мира по Программированию

ACM ICPC всегда проводился на базе каких-либо учебных заведений. В том числе участвующих в чемпионате.

Студенты СПбНИУ ИТМО стали победителями 37-ого Студенческого Чемпионата Мира по Программированию

Они и в прошлом году победили. И еще в 2004, 2008 и 2009. Чемпионат организовывали другие страны.

Google Code-In 2012 — как это было?

Уже давно не заходил.

Google Code-In 2012 — как это было?

63 задания — это нечто. Очень круто! Поздравляю с победой!

P.S. Участвовал в прошлом и позапрошлом году, тоже помогал KDE. Писал плагины для Marble в том числе. Теперь уже студент, потому в этот раз поучаствовать не мог.

Просто, как дважды два четыре

Алгоритмы и структуры данных — шпаргалка

Седжвик как раз таки член совета директоров Adobe Systems

Доступен предзаказ 4-го издания «The C++ Programming Language»

Как раз это и огорчает. У нас большинство книг все равно дешевле раза в два. А на Амазоне такая цена на всё.

Доступен предзаказ 4-го издания «The C++ Programming Language»

Цена книги огорчает, конечно.

Занимательное функциональное программирование в Ruby

Пустая строка тоже является недопустимым аргументом, как и nil.

Ночной вид с международной космической станции

Яркое свечение городов на видео может быть обусловлено большой выдержкой при фотографировании.

Занимательное функциональное программирование в Ruby

Вот это как раз выглядит не в функциональном стиле, IMHO.

Information

Rating
Does not participate
Location
New York, New York, США
Registered
Activity