Skip to content

Commit

Permalink
24april
Browse files Browse the repository at this point in the history
  • Loading branch information
Luís Soares Barbosa authored and Luís Soares Barbosa committed Apr 24, 2024
1 parent 3e49138 commit d1fd6e3
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 6 deletions.
Binary file added LQ2324-LinearProcesses.pdf
Binary file not shown.
12 changes: 6 additions & 6 deletions index.html
Original file line number Diff line number Diff line change
Expand Up @@ -122,13 +122,13 @@ <h5> T Lectures</h5>
<tr>
<td><strong>Apr 16 (11:00 - 13:00)</strong></td>
<td>Diagrams and categories. Diagramatic languages for processes.
Circuits <a href="LQ2324-Diagrams.pdf"> [lecture notes] </a>
String diagrams: definitions, examples, constructions <a href="LQ2324-StringDiagrams.pdf"> [lecture notes] </a>.
Circuits <a href="LQ2324-Diagrams.pdf"> [lecture notes]</a>.
String diagrams: definitions, examples, constructions <a href="LQ2324-StringDiagrams.pdf"> [lecture notes]</a>.
</td>
</tr>
<tr>
<td><strong>Apr 24 (17:00 - 19:00)</strong></td>
<td>tba (Sala DI 1.20)
<td><strong>Apr 24 (16:00 - 18:00)</strong></td>
<td>The process theory of linear maps. Matricial representation. Completeness for string diagrams. <a href="LQ2324-LinearProcesses.pdf"> [lecture notes] </a>.(Room DI 1.20)
</td>
</tr>
</table>
Expand Down Expand Up @@ -376,7 +376,7 @@ <h5><a name="Contacto"></a> Contacts </h5>
<li> Email: lsb arroba di ponto uminho ponto pt
<li> Appointments (Nori): Wed, 15:30-17:30 (please send an email the day before)
<li> Email: norihiro1988 arroba gmail ponto com
<li> Last update: 2024.04.23
<li> Last update: 2024.04.24
</ul>

<!--~~~~~~~~~~~~~~~~~~~~~~~-->
Expand All @@ -387,7 +387,7 @@ <h5><a name="Contacto"></a> Contacts </h5>

<div class="panel-footer" id="wrapper-footer">
<div id="footer">
2024.04.23
2024.04.24
</div>
</div>

Expand Down

0 comments on commit d1fd6e3

Please sign in to comment.