Прастистую!нене... я протестую... термометром, исходя из названия меряют терьмо
термометром![]()
![:dont:](http://vse.kz/public/style_emoticons/default/dont.gif)
![:dont:](http://vse.kz/public/style_emoticons/default/dont.gif)
"В логике первого и второго порядков терм определяется рекурсивно следующим образом:
1. всякая индивидная константа есть терм;
2. всякая свободная переменная есть терм;
3. если fi - і-местная функциональная константа и t1, t2, …, ti - термы, то fi(t1,t2,...,ti) также есть терм;
термами являются только те выражения, которые получены согласно пп. 1-3"
Сообщение отредактировал Intymolog: 18.01.2012, 11:50:45