Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Какое ж оно дополнительное? Здесь просто требование под вторым квантором жульнически разбито на две части:
Anton Nonko
18.08.2008, 14:56
ewert Ну да, просто две эквивалентных формы записи.
OZH
19.08.2008, 11:53
Определение --- это способ описания объектов определённого (!), то есть, определяемого (!!) класса путём задания некоторого предела (!!!), за которым располагаются объекты совершенно другого класса.