...
 
Commits (2)
......@@ -8,5 +8,5 @@
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all"
%%% TeX-master: t
%%% End:
......@@ -3,5 +3,5 @@
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all"
%%% TeX-master: t
%%% End:
\begin{mhmodnl}[creators=miko]{coding}{en}
\begin{definition}
The implementation of an \trefi[algorithm]{algorithm} in a chosen
\trefi[program]{programming}{language} is called \defi{coding}.
\end{definition}
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
\begin{mhmodsig}[creators=miko]{coding}
\gimport{algorithm}
\gimport{program}
\end{mhmodsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
......@@ -5,5 +5,5 @@
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all"
%%% TeX-master: t
%%% End:
\begin{mhmodnl}[creators=miko]{programming}{en}
\begin{definition}
\Defi{computer}{programming} (or just \defi{programming}) is the process of designing
and building a \trefi[program]{program} for accomplishing a specific computing task.
It involves sub-processes, such as: analysis, generating
\trefis[algorithm]{algorithm}, profiling \trefis[algorithm]{algorithm}' resource
consumption, proving \trefi[algorithm]{algorithm} properties, \trefi[coding]{coding},
and program verification.
\end{definition}
\begin{definition}
A person involved in \trefi{programming} is called a \defi{programmer}.
\end{definition}
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
\begin{mhmodsig}[creators=miko]{programming}
\gimport{program}
\gimport{coding}
\end{mhmodsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End: