Вот все говорят об оптимизации и оптимальности, оптимизации программ.
Где взять точные определения этим 3-понятиям?

1) Оптимальность - это ...
2) Оптимизация - это - ...
3) Оптимизация программ - это обработка, связанная с переупорядочиванием и изменением операций в компилируемой программе с целью получения более эффективной результирующей объектной программы. (Книга Гордеев, Молчанов Системное программное обеспечение)

Заранее благодарен.

Рялом с понятием "оптимальность" всегда идет "критерий". Тогда среди множества решений оптимальным является то, которое использует минимум ресурсов, заданных в качестве критерия (один или больше).
...с целью получения более эффективной результирующей объектной программы
эффективной может быть программа, выполняющаяся быстрее остальных, или жрущая меньше памяти, но совсем не обязательно (даже вряд ли) все вместе. Без критерия слово "оптимальный" не имеет смысла.

hGoblin
А вот если тебе сказали объясни что такое оптимизация!! Как бы ты научно объяснил????

Я так понимаю:
1) надо дать в общем определение оптимальности (как-то)
2) надо дать в общем определение оптимизации (как-то)
3) определение оптимизации программы (это не сложно)

А мы академиев не кончали :) Оптимальный - по латыни "наилучший". Какое еще нужно определение?

Честно говоря, я не совсем понимаю, чем нужны такие определения, как "Оптимизация программ - это обработка, связанная с переупорядочиванием...". Это пустые, но умно звучащие слова (а на выражении "научно объяснить" со мной случилась отрыжка :-]).

По-моему, нужно проще: как сказал hGoblin, нужен критерий - свойство программы. Тогда оптимизировать программу - это улучшить значение этого свойства. А что сверх того, имхо, от лукавого.

Upd: hGoblin, именно, именно :о)

Вообще критерий есть 2х видов как я понял
1)макс скорость
2)мин объем
и оптимизироать можно только под крнкретный набор деталек
в АСМЕ это легко но вот в других языках вам нужен соотв.
оптимизирующий компилятлр. А оптимальность я понимаю как баланс между двумя этими критериями