mirror of
https://github.com/2martens/uni.git
synced 2026-05-07 03:46:25 +02:00
99 lines
3.0 KiB
TeX
99 lines
3.0 KiB
TeX
\documentclass[10pt,a4paper,oneside,ngerman,numbers=noenddot]{scrartcl}
|
|
\usepackage[T1]{fontenc}
|
|
\usepackage[utf8x]{inputenc}
|
|
\usepackage[ngerman]{babel}
|
|
\usepackage{amsmath}
|
|
\usepackage{amsfonts}
|
|
\usepackage{amssymb}
|
|
\usepackage{paralist}
|
|
\usepackage{gauss}
|
|
\usepackage{pgfplots}
|
|
\usepackage[locale=DE,exponent-product=\cdot,detect-all]{siunitx}
|
|
\usepackage{tikz}
|
|
\usetikzlibrary{automata,matrix,fadings,calc,positioning,decorations.pathreplacing,arrows,decorations.markings}
|
|
\usepackage{polynom}
|
|
\usepackage{multirow}
|
|
\usepackage[german]{fancyref}
|
|
\polyset{style=C, div=:,vars=x}
|
|
\pgfplotsset{compat=1.8}
|
|
\pagenumbering{arabic}
|
|
% ensures that paragraphs are separated by empty lines
|
|
\parskip 12pt plus 1pt minus 1pt
|
|
\parindent 0pt
|
|
% define how the sections are rendered
|
|
\def\thesection{4.\arabic{section})}
|
|
\def\thesubsection{\arabic{subsection}.}
|
|
\def\thesubsubsection{(\roman{subsubsection})}
|
|
% some matrix magic
|
|
\makeatletter
|
|
\renewcommand*\env@matrix[1][*\c@MaxMatrixCols c]{%
|
|
\hskip -\arraycolsep
|
|
\let\@ifnextchar\new@ifnextchar
|
|
\array{#1}}
|
|
\makeatother
|
|
|
|
\begin{document}
|
|
\author{Benjamin Kuffel, Jim Martens\\Gruppe 6}
|
|
\title{Hausaufgaben zum 10. November}
|
|
\maketitle
|
|
|
|
\setcounter{section}{2}
|
|
\section{} %4.3
|
|
\subsection{}
|
|
\begin{alignat*}{2}
|
|
L(TS_{kuchen\_teil}) &=& (v(htwb^{*}k)^{*}o + r)^{*} \\
|
|
L^{\omega}(TS_{kuchen\_teil}) &=& (v(htwb^{*}k)^{*}o + r)^{\omega}
|
|
\end{alignat*}
|
|
\subsection{}
|
|
\[
|
|
SS(M) = 1(3(5763)^{*}1 + 1)^{\omega}
|
|
\]
|
|
\subsection{}
|
|
\begin{alignat*}{2}
|
|
E_{S}(M) &=& E_{S}(1(3(5763)^{*}1 + 1)^{\omega}) \\
|
|
&=& (E_{S}(1)(E_{S}(3)(E_{S}(5)E_{S}(7)E_{S}(6)E_{S}(3))))^{\omega}
|
|
\end{alignat*}
|
|
\subsection{} %
|
|
\begin{alignat*}{2}
|
|
Sat(Teig \vee \lnot Hitze) &=& \{1, 4, 5\} \\
|
|
Sat(\lnot Teig) &=& \{1, 2, 3, 6, 7\} \\
|
|
\intertext{Auflösen der Implikation}
|
|
f &=& GF((Teig \vee \lnot Hitze) \Rightarrow F \lnot Teig) \\
|
|
&\Leftrightarrow & GF(F(\lnot(Teig \vee \lnot Hitze) \vee F \lnot Teig))
|
|
\intertext{Berechnung der weiterführenden \(Sat\)-Mengen}
|
|
Sat(\lnot(Teig \vee \lnot Hitze)) &=& \{2,3,6,7\} \\
|
|
Sat(\lnot(Teig \vee \lnot Hitze) \vee \lnot Teig) &=& \{1,2,3,6,7\}
|
|
\end{alignat*}
|
|
|
|
Da der Anfangszustand in der Menge vorhanden ist, gilt die Formel.
|
|
|
|
\subsection{} %Gegenbeispiel finden
|
|
\begin{alignat*}{2}
|
|
Sat(Backen) &=& \{6,7\} \\
|
|
Sat(Zeit) &=& \{2,6\} \\
|
|
Sat(Backen \wedge Zeit) &=& \{6\}
|
|
\end{alignat*}
|
|
|
|
Die Formel gilt nicht im Anfangszustand. Gegenbeispiel:
|
|
\[
|
|
\pi = 14576(32)^{\omega}
|
|
\]
|
|
|
|
Pfad, bei dem es funktioniert:
|
|
\[
|
|
\pi = 1457(6)^{\omega}
|
|
\]
|
|
|
|
\section{} %4.4
|
|
\begin{tabular}{l|l|l}
|
|
\(f\) & \(M_{kuchen} \models f \) & \(M_{kuchen}, \pi \models f\)\\
|
|
\hline
|
|
\(\lozenge \square(\lnot Teig \vee Hitze) \)& nein & ja \\
|
|
\(\square \lozenge(\lnot Teig \vee Hitze)\) & ja & ja \\
|
|
\(\square (Hitze \;U\; Backen)\) & nein & nein \\
|
|
\(\square \lozenge (Backen \Rightarrow XX\lnot Backen)\) & ja & ja \\
|
|
\(\square ((Hitze \wedge Teig) \Rightarrow \lozenge \lnot Teig)\) & ja & ja \\
|
|
\(XX \lozenge (\lnot Hitze \wedge \lnot Teig)\) & nein & nein
|
|
\end{tabular}
|
|
\end{document}
|