# Images fit into columns
<div class="multicolumn" align="center"><div>
[![h:350px drop-shadow:4px,5px,15px,#010101]
(./assets/images/books/book004.jpg)](https://amzn.eu/d/fQDOCSF)
<figcaption>Sophokles, Suhrkamp (2015).</figcaption>
</div><div>
[![h:350px drop-shadow:4px,5px,15px,#010101]
(./assets/images/books/book003.jpg)](https://amzn.eu/d/bxExVnT)
<figcaption>Göthe, Suhrkamp (2011).</figcaption>
</div><div>
[![h:350px drop-shadow:4px,5px,15px,#010101]
(./assets/images/books/book006.jpg)](https://amzn.eu/d/f3z3qfe)
<figcaption>Heine, Suhrkamp (2011).</figcaption>
</div></div>
LaTeX
<!-- _class: white-slide -->
# Probability Distribution (1)
<div class="multicolumn vcenter"><div>
$$
f(x) = \frac{1}{\sigma \sqrt{2\pi}} \exp\left( -\frac{(x - \mu)^2}{2\sigma^2} \right)
$$
<figcaption>Normal Distribution (Gaussian).</figcaption>
</div><div>

<figcaption>Multivariate Normal Distribution.</figcaption>
</div></div>
Below, in modern vector notation, in differential form, are Maxwell's four equations governing the electromagnetic field
.
LaTeX
# Electromagnetic Field (Differential form)
Below, in modern vector notation, in _differential form_,
are Maxwell's four equations governing the `electromagnetic field`.
$$
\begin{align}
\nabla \cdot \mathbf{E} &= \frac{\rho}{\varepsilon_0}
&&\text{(Gauss's law)}\\
\nabla \cdot \mathbf{B} &= 0
&&\text{(No magnetic monopoles)}\\
\nabla \times \mathbf{E} &= -\,\frac{\partial \mathbf{B}}{\partial t}
&&\text{(Faraday-Lenz law)}\\
\nabla \times \mathbf{B} &= \mu_0 \mathbf{J}
+ \mu_0 \varepsilon_0\,\frac{\partial \mathbf{E}}{\partial t}
&&\text{(Ampere-Maxwell Law)}
\end{align}
$$
"There is an increasing demand of current information systems to incorporate the use of a higher degree of formalism in the development process. Formal Methods consist of a set of tools and techniques based on mathematical model and formal logic that are used to specify and verify requirements and designs for hardware and software systems."
<!-- _class: quote dark -->
<!-- _class: quote dark -->
"There is an **increasing** demand of current information
systems to incorporate the use of a higher degree of formalism
in the development process. **Formal Methods** consist of a set
of tools and techniques based on mathematical model and formal
logic that are used to **specify and verify** requirements and
designs for hardware and software systems."
Callouts
Info
Text for information with
Markdown formatting.
<div class="callout">
# Info
Text for information with <br> **Markdown** formatting.
</div>
Danger
Another text with
Markdown formatting.
<div class="callout danger">
# Danger
Another text with <br> **Markdown** formatting.
</div>
Callouts types
Success
You may use in semantics.
Abstract
You may use in semantics.
Tip
You may use in semantics.
ToDo
You may use in semantics.
Note
You may use in semantics.
Example
You may use in semantics.
Quote
You may use in semantics.
Question
You may use in semantics.
Warning
You may use in semantics.
Failure
You may use in semantics.
Danger
You may use in semantics.
Bug
You may use in semantics.
References
- AMERIKS, Karl; HÖFFE, Otfried. Kant’s Moral and Legal Philosophy. tradução: Nicholas Walker. Cambridge, Massachusetts: Cambridge University Press, 2009-. ISSN 1878-6847.(The German Philosophical Tradition).
- ARISTOTELES. Nikomachische Ethik. Berlin: Akademie Verlag, 2010. (Klassiker Auslegen).v. 2
- CASSIRER, Ernst. The Myth of the State. New Haven, USA: Yale University Press, 1946.
- EPSTEIN, Richard L.; CARNIELLI, Walter A. Computability: Computable Functions, Logic, and the Foundations of Mathematics. 3. ed. Socorro, New Mexico, USA: Advanced Reasoning Forum, 2008.
- GADAMER, Hans-Georg. Wahrheit und Methode. Berlin: Akademie Verlag, 2007. v. 30.
- HEGEL, Georg Friederich Wilhelm. Hegel´s Phenomenology of Spirit. Tradução: A. V. Miller. New York: Oxford University Press, 2004.
- HEIDEGGER, Martin. Sein und Zeit. 11. ed. Tübingen: Max Niemeyer Verlag, 1967.
- HUSSERL, Edmund. The Crisis of European Sciences and Transcendental Phenomenology. Evanston, USA: Northwestern University Press, 1970.
- KANT, Immanuel. Kritik der Praktischen Vernunft. Berlin: Akademie Verlag, 2002. (Klassiker Auslegen).v. 26
- KANT, Immanuel. Groundwork of the Metaphysics of Morals: A German-English Edition. tradução: Mary Gregor; Jens Timmermann. Cambridge, UK: Cambridge University Press, 2011.
- KARDEC, Allan. Das Buch der Geister. Übersetzung: Edith Burkhard. 3. ed. Brasília, DF: Internationaler Spiritistischer Rat, 2011.
- PLATO. Plato Republic. Tradução: C. D. C. Reeve. Indianapolis, IN, USA: Hackett Publishing Company, 2004.
<!-- _class: references -->
<!-- _class: references -->
# References
<div class="multicolumn"><div>
1. AMERIKS, Karl; HÖFFE, Otfried. **Kant’s Moral and Legal
Philosophy**. tradução: Nicholas Walker. Cambridge, Massachusetts:
Cambridge University Press, 2009-. ISSN 1878-6847.(The German Philosophical Tradition).
2. ARISTOTELES. **Nikomachische Ethik**. Berlin: Akademie Verlag, 2010. (Klassiker Auslegen).v. 2
3. CASSIRER, Ernst. **The Myth of the State**. New Haven, USA: Yale University Press, 1946.
</div><div>
7. HEIDEGGER, Martin. **Sein und Zeit**. 11. ed. Tübingen:
Max Niemeyer Verlag, 1967.
8. HUSSERL, Edmund. **The Crisis of European Sciences and
Transcendental Phenomenology**. Evanston, USA: Northwestern University Press, 1970.
9. KANT, Immanuel. **Kritik der Praktischen Vernunft**.
Berlin: Akademie Verlag, 2002. (Klassiker Auslegen).v. 26
</div></div>
Animations (works in HTML only)

First animation.
<iframe>
<!-- _class: black-slide -->
# Animations <span style="font-size:0.5em; color:yellow;">
(works in HTML only)</span>
<div class=multicolumn vcenter><div align=center>

<figcaption> Static picture.
</div><div align=center>
<iframe src="https://<address>/<file>"
height="390" width="400" frameborder="0" scrolling="no" ></iframe>
<figcaption> Animation.
</div></div>
---