| We can find an effective enumeration of all the formal proofs in S by some procedure function NthProof(int n) which takes as input n and outputs some proof. |
Рассмотрим программу, реализующую эффективное перечисление всех формальных доказательств в s {\displaystyle \mathbf {s}} function NthProof(int n) принимающую на вход n и выдающую некоторое доказательство. |
| Ours ORMESTEX TOPPER Was shown on 2x INT DOG SHOW. |
Наш ORMESTEX TOPPER был показан на 2х INT DOG SHOW. |
| The type int should be the integer type that the target processor is most efficiently working with. |
Желательно, чтобы тип int был таким целочисленным типом, с которым наиболее эффективно работает процессор. |
| To explicitly convert a value to integer, use either the (int) or (integer) casts. |
Для несомненного преобразования значения в целое используйте приведение типа (int) или (integer). |
| In earlier versions of C, if a function was not previously declared and its name occurred in an expression followed by a left parenthesis, it was implicitly declared as a function that returns an int and nothing was assumed about its arguments. |
Если функция предварительно не была объявлена, а её имя встречается в выражении, сразу за которым следует открывающая скобка, то она неявно объявляется как функция, возвращающая результат типа int и ничего не предполагается о её аргументах. |