Gennadiy UsovТеория языков программирования (англ. programming language theory, PLT) — раздел информатики...
В вики довольно произвольно используют понятия. Да и не только в вики. Но смысл в чём - математики создали программирование. Без математиков не получается развивать всяческие передовые направления. Обычный программист никогда не напишет сложный алгоритм, он этого просто не умеет. Либо он должен стать математиком, ну хотя бы немного. Но таких в программировании мало, потому что большинство задач очень простые - взять данные из БД, чуть подправить и нарисовать их в виде веб-страницы - вот собственно и всё. Бывают вариации, но суть не меняется - всё довольно просто. И если программистам надо систему уравнений решить, то они ищут библиотеку, а не пишут сами, ибо готовое быстрее запустить в работу. В результате часто получается нагромождение всего и вся, но пока это нагромождение не падает при первом дуновении ветра - оно всех устраивает. Так что какая уж тут математика. Один большой напильник.

maytonЗайдите в форум андроида. Плакать хочется. Нет алгоритмических задач. Один ui. Тоска и уныние.
Само ведро это всё стимулирует. Оно ужасно. Вместо некой общей модели ресурсов под управлением оси предоставляется набор убогих недо-моделек, которые не увязаны между собой, плохо документированы, постоянно глючат, решают очень узкие задачи. В результате народ соревнуется в запоминании хаков и трюков, которые ведро-писатели в каждой новой версии упорно выпиливают,заставляя народ снова и снова искать очередной убогий хак. Хотя иногда до недоумков из гугла всё же доходит людской стон и они расширяют свой API, но естественно - кусочно, убого, так же глючно, архитектурно безграмотно и т.д. и т.п. В итоге народ вынужден поддерживать десятки вариантов работы программы ради обеспечения её работоспособности на нескольких основных версиях ведра. А версии эти гугло-недоумки клепают раз в несколько месяцев, и вот каждую версию нужно всё проверять, что отвалилось, потом как это починить, потом как обновить безболезненно, что бы ещё и на старых устройствах работало. В общем - к огромному сожалению массовый продукт сделан откровенными идиотами, которые являют собой самый яркий пример "напильников" в программировании. Очень плохой пример. А как представишь, вот если бы ну пусть не математики, но хотя бы просто вменяемые архитекторы это всё проектировали...

Хотя с другой стороны ведро всё же предоставляет ряд интересных возможностей, надо отдать должное детишкам из гугла, они ради детского вау-фактора всё же запилили более расширенный API работы с датчиками и коммуникацией, по сравнению с другими. Но на этом все радости кончаются. Остальное - рвано-кусочный трэш, придуманный обкуренными травой "изобретателями" из силиконовой долины. И что интересно - этим "изобретателям" гуглы платят огромные деньги за их обкуренность.