...
 
Commits (2)
\begin{mhmodnl}[creators=miko]{algorithm}{en}
\begin{mhmodnl}[creators=miko]{algorithm}{de}
\begin{definition}
Ein \defi[name=algorithm]{Algorithmus} ist eine formale oder informelle Spezifikation
einer Probleml"osung durch Ausführung einer endlichen Folge von
......
\begin{mhmodnl}[creators=miko]{computer-storage}{de}
\begin{definition}
Ein \defii[name=storage]{Datenspeicher} ist eine Technologie aus
Ein \defi[name=storage]{Datenspeicher} ist eine Technologie aus
\mtrefi[computer?computer]{Computer}komponenten und Medien die zur Sicherung digitaler
\mtrefi[data?data]{Daten} verwendet werden. \mtrefi[name=storage]{Datenspeicher} sind
\mtrefi[data?data]{Daten} verwendet werden. \mtrefi[?storage]{Datenspeicher} sind
zentrale Komponenten von \mtrefi[computer?computer]{Computern}.
\end{definition}
\end{mhmodnl}
......
\begin{modsig}[creators=miko]{computer-storage}
\gimport{computer}
\symi{storage}
\end{modsig}
%%% Local Variables:
%%% mode: latex
......
......@@ -3,14 +3,14 @@
Ein \defi[name=computer]{Computer} (auch \defi[name=computer]{Rechner}) ist eine
physisches (normalerweise elektrisches oder elektronisches)
\mtrefii[information-processing-system?information-processing-system]{informationsverarbeitendes}{System}
das automatisch eine Folge von \defi[name=macine-instruction]{Maschinenbefehlen}, also
das automatisch eine Folge von \defi[name=machine-instruction]{Maschinenbefehlen}, also
arithmetische or logische Operationen ausf"uhren kann die den
\mtrefi[state?state]{Zustand} des \mtrefi[system?system]{Systems} ver"andern.
Ein \mtrefi[?computer]{Computer} besteht aus physischen Teilen (seine
\defi[name=hardware]{Hardware}) und einer Menge von
\mtrefis[program?program]{Programmen} und \mtrefi[data?data]{Daten}, seiner
\defi[name=software]{Software}}.
\defi[name=software]{Software}.
\end{definition}
\end{mhmodnl}
%%% Local Variables:
......
......@@ -2,7 +2,7 @@
\begin{definition}
A \defi{computer} is an physical (usually electrical or electronic)
\trefiii[information-processing-system]{information}{processing}{system} that can
automatically execute a sequence of \defiis{machine}{instruction} i.e. arithmetic or
automatically execute a \trefi[sequences]{sequence} of \defiis{machine}{instruction} i.e. arithmetic or
logical operations that change \trefi[state]{state} of the \trefi[system]{system}.
A \trefi{computer} consists of physical parts (its \defi{hardware}) and a set of
......
......@@ -4,6 +4,7 @@
\symi{computer}
\symi{hardware}
\symi{software}
\symii{machine}{instruction}
\end{modsig}
%%% Local Variables:
%%% mode: latex
......
......@@ -3,14 +3,14 @@
Eine \defii[name=CPU]{zentrale}{Verarbeitungseinheit} (\defi[name=CPU]{ZVE}; auch
\defi[name=CPU]{Hauptprozessor} oder einfach \defi[name=CPU]{Prozessor}), ist
elektronische Schaltung in einem \mtrefi[computer?computer]{Computer} das die
\mtrefi[computer?instruction]{Maschinenbefehle} ausf"uhrt indem sie deren
\mtrefi[computer?machine-instruction]{Maschinenbefehle} ausf"uhrt indem sie deren
grundlegenden arithmetischen, logischen, kontrollfluss, and Eingabe/Ausgabe
Operationen durchf"uhrt.
Eine \mtrefi[?CPU} besteht aus
Eine \mtrefi[?CPU]{CPU} besteht aus
\begin{itemize}
\item einem \defi[name=control-unit]{Steuerwerk} (auch
\defi[name=control-unit]{Leitwerk} genannt) das das \mtrefi[program?program]
\defi[name=control-unit]{Leitwerk} genannt) das das \mtrefi[program?program]{Programm}
interp"atiert und den Fluss der
\mtrefi[computer?machine-instruction]{Maschinenbefehle} kontrolliert und
\item iner \defii[name=ALU]{arithmetic/logic}{unit} (\defi{ALU}) die die internen
......
......@@ -3,9 +3,9 @@
A \defiii[name=CPU]{central}{processing}{unit} (\defi{CPU}), also called a
\defii[name=CPU]{central}{processor} or \defii[name=CPU]{main}{processor}, is the
electronic circuitry within a \trefi[computer]{computer} that carries out the
\trefis[computer]{instruction} of a \trefii[computer]{computer}{program} by performing
\mtrefis[computer?machine-instruction]{instruction} of a \trefi[program]{program} by performing
the basic arithmetic, logic, controlling, and input/output (I/O) operations specified
by the \trefis[computer]{instruction}.
by the \mtrefis[computer?machine-instruction]{instruction}.
A \trefi[cpu]{CPU} that consists of a
\begin{itemize}
......
\begin{modsig}[creators=miko]{cpu}
\gimport{computer}
\symi{CPU}
\symii{control}{unit}
\symi{ALU}
\end{modsig}
%%% Local Variables:
%%% mode: latex
......
\begin{modsig}[creators=miko]{data}
\gimport{information}
\symi{data}
\end{modsig}
%%% Local Variables:
%%% mode: latex
......
......@@ -7,7 +7,7 @@
andere Form überführt.
Ein \mtrefii[?information-processing-system]{informationsverarbeitendes}{System} $S$
ist aus vier \mtrefii[system?subsystem]{Subsystemen} aufbebaut
ist aus vier \mtrefi[system?subsystem]{Subsystemen} aufbebaut
\begin{enumerate}
\item das \defi[name=input-subsystem]{Eingabesystem} schleust
\mtrefi[information?information]{Information} in $S$ ein,
......
......@@ -13,7 +13,7 @@
$S$,
\item the \defi{processor} executes the transformation in a sequence of
operations called \defis{instruction} on the \trefi{processor} \trefi[state]{state},
\item the \defi{storage}{subsystem} stores \trefi[information]{information}, and
\item the \defii{storage}{subsystem} stores \trefi[information]{information}, and
\item the \defii{output}{subsystem} channels the transformed
\trefi[information]{information} out of $S$.
\end{enumerate}
......
\begin{modsig}[creators=miko]{information-processing-system}
\gimport{information}
\gimport{system}
\symiii{information}{processing}{system}
\symii{input}{subsystem}
\symi{processor}
\symii{storage}{subsystem}
\symii{output}{subsystem}
\symi{instruction}
\end{modsig}
%%% Local Variables:
%%% mode: latex
......
\begin{mhmodnl}[creators=miko]{information}{en}
\begin{definition}
\Defi{information} consists of a sequence of enumerated \trefis[symbol]{symbol} or
\Defi{information} consists of a \trefi[sequences]{sequence} of \trefis[symbol]{symbol} or
\trefis[state]{state}.
\end{definition}
\end{mhmodnl}
......
\begin{modsig}[creators=miko]{information}
\gimport{state}
\gimport{symbol}
\gimport[smglom/calculus]{sequences}
\symi{information}
\end{modsig}
%%% Local Variables:
%%% mode: latex
......
\begin{mhmodnl}[creators=miko]{memory}{en}
\begin{definition}
The \defi{memory} (also \defii[name=memory]{primary}{storage}) is a
\atrefii[computer-storage]{storage}{computer}{storage} subsystem in a
\trefi[computer]{computer} that stores information for immediate use by its
\trefi[cpu]{CPU}.
\trefii[information-processing-system]{storage}{subsystem} in a
\trefi[computer]{computer} that stores \trefi[information]{information} for immediate
use by its \trefi[cpu]{CPU}.
\end{definition}
\end{mhmodnl}
%%% Local Variables:
......
\begin{modsig}[creators=miko]{memory}
\gimport{cpu}
\gimport{computer-storage}
\symi{memory}
\end{modsig}
%%% Local Variables:
%%% mode: latex
......
\begin{modsig}[creators=miko]{program}
\gimport{algorithm}
\gimport{information-processing-system}
\gimport[smglom/sets]{formal-language}
\symii{programming}{language}
\symi{program}
\end{modsig}
%%% Local Variables:
%%% mode: latex
......
\begin{mhmodnl}[creators=miko]{programming}{en}
\begin{definition}
\Defi{computer}{programming} (or just \defi{programming}) is the process of designing
\Defii[name=programming]{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
......
\begin{modsig}[creators=miko]{secondary-storage}
\gimport{memory}
\symii{secondary}{storage}
\end{modsig}
%%% Local Variables:
%%% mode: latex
......
\begin{modsig}[creators=miko]{state}
\gimport{system}
\symi{state}
\symi{stateful}
\end{modsig}
%%% Local Variables:
%%% mode: latex
......
......@@ -8,7 +8,7 @@
\begin{definition}
An entity $S'$ in a \trefi{system} $S$ that is a \trefi{system} itself is called a
\defi{substytem} of $S$.
\defi{subsystem} of $S$.
\end{definition}
\end{mhmodnl}
%%% Local Variables:
......