azalea/CSC110
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[+] A2 Finish latex

Browse Source
This commit is contained in:
Hykilpikonna
2021-10-03 17:16:31 -04:00
parent dcefd83040
commit eb4369416b
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
assignments/a2/a2.pdf
BIN
View File
Binary file not shown.
assignments/a2/a2.tex
+3 -3
View File
@@ -111,7 +111,7 @@ $\forall s \in sc.sections,~ ...$
% TODO: fill in the predicate definition for two meeting times conflicting
\begin{align*}
MeetingTimesConflict(m_1, m_2) : m_1[0] == m_2[0] \land m_1[2] > m_2[1] \land m_2[2] > m_1[1]
MeetingTimesConflict(m_1, m_2) : m_1[0] == m_2[0] \land m_1[2] > m_2[1] \land m_2[2] > m_1[1] \\
\qquad \text{where $m_1, m_2 \in M$}
\end{align*}
@@ -122,8 +122,8 @@ MeetingTimesConflict(m_1, m_2) : m_1[0] == m_2[0] \land m_1[2] > m_2[1] \land m_
% Use the MeetingTimesConflict predicate in your response.
\begin{align*}
SectionsConflict(s_1, s_2) : ('Y' \in \{s_1[1], s_2[1]\} \lor s_1[1] = s_2[1]) \Rightarrow \\
\exists m_1 \in s_1[2], \text{ s.t. } \exists m_2 \in s_2[2], \text { s.t. } MeetingTimesConflict(m_1, m_2)
SectionsConflict(s_1, s_2) : (s_1[1]=\text{'Y'} \lor s_2[1]=\text{'Y'} \lor s_1[1] = s_2[1]) \land \\
\exists m_1 \in s_1[2], \exists m_2 \in s_2[2], \text { s.t. } MeetingTimesConflict(m_1, m_2) \\
\qquad \text{where $s_1, s_2 \in S$}
\end{align*}