mrThreeElephants:
Во-первых, абстрактный Object в этом контексте совершенно бесполезен, поскольку тип объекта выражает, если угодно, наши знания о нём. Чем точнее (в рамках иерархии наследования) мы знаем тип, тем больше мы можем сделать с объектом. К человеку, например, применимо слово "совершил", а к стулу – нет.
Во-вторых, под высокоуровневостью я понимал не абстрактность, а "структурную сложность", т.е. человек, например, – штука составная и сложная. То же самое касается и других понятий.
Формализовать понятия "лицо", "действие" и "предумышленно", конечно же, можно. Вопрос лишь в том, сколько таких понятий и какой сложности (действия и лица имеют уточняющие характеристики) понадобится.
А вы в соответствие с какой логикой рассуждаете? Можете доказать (что бы это ни значило), что руководствуетесь формальной логикой? Проблема в том, что человеческая логика нечёткая (условно говоря, содержит разные предикаты в зависимости от состояния человека), а формальная логика строга и детерминирована. Как работают (и работают ли вообще) законы сейчас я говорить не берусь, поскольку решение в конечном итоге принимает человек-судья.
Maxmaxmaximus:
1. Как скроллер меняет высоту какого-либо объекта?
2. Если скроллер Ваш, то все взаимодействия с ним Вы точно можете контролировать. В чём проблема отследить то, которое приведёт к изменению высоты?
3. Если вы вдруг не заметили, во втором параграфе приведено одно из возможных решений. Да, оно кривое, но лучшее из тех, что существовали 3 года назад.
Алексей Николаев: написать что угодно можно на любом Тьюринг-полном языке (Brainfuck, например). Однако, удобство программирования очень важно, поскольку позволяет решать бизнес задачи быстрее / дешевле. Ну и вообще, C\C++ — лишь синтаксический сахар над ассемблером и машинными кодами, может на них будем писать?
OnYourLips: на каком языке написан браузер, из которого вы это написали? Я не спорю, что C++ не серебряная пуля, но и область применения у него не столь узка, как Вы могли бы подумать.
Очевидно, что это направление готовит не программистов, а прикладных физиков. Ни одна приличная современная наука невозможна без использования вычислительных средств, отсюда и нужда в соответствующих специалистах.
Далее, что такое "Российский вуз"? В РФ вузов, наверно, тысяча, а то и больше, абстрактный вуз в вакууме ничего не значит. Если речь про МГУ, то поступайте на ВМК. Если нет — надо смотреть не на красивые названия, а на учебный план, а ещё лучше — выпускников и их комментарии.
При всём уважении к Вашему отцу, много ли он понимает в современном рынке труда? На какие данные он опирается, высказывая данные утверждения, помимо того, что услышал, условно говоря, "на базаре"?
Некорректный пример. Школьная таблица умножения (10x10) – своего рода "кэш" для умножения произвольных десятичных натуральных чисел (потому что умножать итерацией сложения долго). Однако, никто не заставляет ограничиваться лишь однозначными цифрами, в целях ускорения процесса умножения можно запомнить и бОльшие таблички. Предела сверху нет, а время человеческое ограничено. Поэтому непонятно, что имеется в виду под "всей таблицей".
Так же и в теории параллельного и конкуррентного программирования существуют вещи, полезные к знанию, но необязательные для среднего прикладного программиста.
А Python-то тут при чём? Теория графов — часть математики. Как Вы (или автор используемой Вами библиотеки) реализуете соответствующие алгоритмы к этой самой теории мало относится. Вы же осваиваете другие области математики с привязкой к языку, правда?