Skip to content

Latest commit

 

History

History
457 lines (299 loc) · 12.3 KB

example-einstein.md

File metadata and controls

457 lines (299 loc) · 12.3 KB
Raw
title author description keywords marp paginate theme
Example Slides for Theme Einstein
Paulo Cunha
This is an example of how to use my themes
Marp, Slides, Themes, Marpstyle, Einstein, Bern
true
true
einstein
<style> .cite-author { text-align : right; } .cite-author:after { color : orangered; font-size : 145%; /* font-style : italic; */ font-weight : bold; font-family: 'Fira Sans Condensed', sans-serif; padding-right : 130px; } .cite-author[data-text]:after { content : " - "attr(data-text) " - "; } .cite-author p { padding-bottom : 40px } </style>

bg left:33% brightness:0.9

Absolute, only the speed of light
General and Special Relativity in Physics
Albert Einstein
Bern, Schweiz, 1905 (anno mirabilis)
Eidgenössisches Amt für Geistiges Eigentum

bg right:33% brightness:0.9

Absolute, only the speed of light

General and Special Relativity in Physics

Albert Einstein

Bern, Schweiz, 1905 (anno mirabilis)

Eidgenössisches Amt für Geistiges Eigentum

bg

bg w:100%

Normal Slide

Common texts

bg blur:8px grayscale:1 brightness:0.8

Normal Slide

Common texts

Lists

  1. Zürich
  2. Genf (Genebra)
  3. Basel (Basileia)
  4. Bern (Berna)
  5. Lausanne
  1. Luzern (Lucerna)
  2. St. Gallen
  3. Winterthur
  4. Lugano
  5. Freiburg (Friburgo)

Is Algebraic Graph Knowledge Possible?

Research has been conducted in order to evaluate the possibility of reaching meaningful knowledge from Algebraic Graph transformations.

  • Model Cheking and theorem prooving are viable paths.

When the neet to make strong assertions becomes inevitable:

  • This is the first way: outstanding assertion!
  • Even greater impact comes from: hilight text!

*Note: This is a very long footnote line intended to test the layout of two.

bg blur:5px grayscale:1

Is Algebraic Graph Knowledge Possible?

Research has been conducted in order to evaluate the possibility of reaching meaningful knowledge from Algebraic Graph transformations.

  • Model Cheking and theorem prooving are viable paths.

When the neet to make strong assertions becomes inevitable:

  • This is the first way: outstanding assertion!
  • Even greater impact comes from: hilight text!

*Note: This is a very long footnote line intended to test the layout of two.

bg brightness:0.8 blur:5px

Is Algebraic Graph Knowledge Possible?

Research has been conducted in order to evaluate the possibility of reaching meaningful knowledge from Algebraic Graph transformations.

  • Model Cheking and theorem prooving are viable paths.

When the neet to make strong assertions becomes inevitable:

  • This is the first way: outstanding assertion!
  • Even greater impact comes from: hilight text!

*Note: This is a very long footnote line intended to test the layout of two.

Is Algebraic Graph Knowledge Possible?

Research has been conducted in order to evaluate the possibility of reaching meaningful knowledge from Algebraic Graph transformations.

  • Model Cheking and theorem prooving are viable paths.

When the neet to make strong assertions becomes inevitable:

  • This is the first way: outstanding assertion!
  • Even greater impact comes from: hilight text!

*Note: This is a very long footnote line intended to test the layout of two.

H1

H2

H3

H4

H5
H6

  • This is a fragment o normal text written here in order to exemplify the use of several featrues in CSS.

  • This is a fragment o normal text written here in order to exemplify the use of several featrues in CSS.

    • This is one feature
    • This is another subjetc.

Lists

  1. One
  2. Two
  3. Three
    1. abc
    2. def
  4. End of list
primes = filterPrime [2..]
  where filterPrime (p:xs) =
          p : filterPrime [x | x <- xs, x `mod` p /= 0]

seqLength :: Num b ⇒ Sequence a → b
seqAppend :: Sequence a → Sequence a → Sequence a

seqLength Nil = 0
seqLength (Cons _ xs) = 1 + seqLength xs

seqAppend Nil ys = ys
seqAppend (Cons x xs) ys = Cons x (seqAppend xs ys)
Code: Haskell code fragment.

Tables

Column A Column B Column C Column D
A1 B1 C1 D1
A2 B2 C2 D2
A3 B3 C3 D3
Table: Exemple of use of tables.

bg opacity:0.2 blur:5px

LaTeX Equations

$$\frac{1}{c^2}\frac{\partial^2\mathbf{\psi}}{\partial t^2} = \nabla^2 \circ\mathbf{\psi} $$ $$\nabla \times \textbf{E}=- \frac{\partial \textbf{B}}{\partial t}$$ $$\nabla^2 \textbf{E} = \mu \epsilon \frac{\partial^2 \textbf{E}}{\partial t^2}$$ $$c=\sqrt{\frac{1}{\mu \epsilon}}$$

Formulae: Exemples of use of LaTeX formulas.

Images in Two Columns

h:450px drop-shadow:4px,5px,15px,#010101

 

h:450px drop-shadow:4px,5px,15px,#010101

 

Images in Two Columns

h:450px drop-shadow:4px,5px,15px,#010101

Figure 1: Göthe, Suhrkamp (2011).

h:450px drop-shadow:4px,5px,15px,#010101

Figure 2: Sophokles, Suhrkamp (2015).

Image and text

h:450 drop-shadow:4px,5px,15px,#010101

Figure: Oxford edition (1979).

Hegel's Phenomenology

The book was originally entitled "Phänomenologie des Geistes" by its author, G.W.F. Hegel.

  • Published in 1807, marked a significant development in German idealism after Kant.

  • In this book Hegel develops his concepts of dialectic.

Price at Amazon: $ 17.83

Image and text

Kant, Leibniz & Newton

That philosophy and the sciences were closely linked in the age of Leibniz, Newton, and Kant; but a more precise determination of the structure of this linkage is required.

This addresses the transformations of metaphysics as a discipline, the emergence of analytical mechanics, the diverging avenues of 18th-century Newtonianism, the body-mind problem, and philosophical principles of classification in the life sciences.

Price at Amazon: 128,39 €

h:450 drop-shadow:4px,5px,15px,#010101

Figure: Springer edition (2023).

"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."

bg opacity:.3 blur:8.0px

"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."

bg brightness:0.9 opacity:.2

Transition Slide 1
Aditional Text

bg opacity:.17 blur:2.0px

Transition Slide 2
Aditional Text

THANK YOU!

bg opacity:.85

bg left:33% opacity:20% blur:8px

References

  1. PLATO. Plato Republic. Tradução: C. D. C. Reeve. Indianapolis, IN, USA: Hackett Publishing Company, 2004.

  2. PLATO. Plato Republic. Tradução: C. D. C. Reeve. Indianapolis, IN, USA: Hackett Publishing Company, 2004.

  3. ARISTOTELES. Nikomachische Ethik. Berlin: Akademie Verlag, 2010. (Klassiker Auslegen).v. 2

  4. KANT, Immanuel. Kritik der Praktischen Vernunft. Berlin: Akademie Verlag, 2002. (Klassiker Auslegen).v. 26

  5. HEGEL, Georg Friederich Wilhelm. Hegel´s Phenomenology of Spirit. Tradução: A. V. Miller. New York: Oxford University Press, 2004.

References

  1. PLATO. Plato Republic. Tradução: C. D. C. Reeve. Indianapolis, IN, USA: Hackett Publishing Company, 2004.
  2. ARISTOTELES. Nikomachische Ethik. Berlin: Akademie Verlag, 2010. (Klassiker Auslegen).v. 2
  3. KANT, Immanuel. Kritik der Praktischen Vernunft. Berlin: Akademie Verlag, 2002. (Klassiker Auslegen).v. 26
  4. HEGEL, Georg Friederich Wilhelm. Hegel´s Phenomenology of Spirit. Tradução: A. V. Miller. New York: Oxford University Press, 2004.
  1. HUSSERL, Edmund. The Crisis of European Sciences and Transcendental Phenomenology. Evanston, USA: Northwestern University Press, 1970.
  2. CASSIRER, Ernst. The Myth of the State. New Haven, USA: Yale University Press, 1946.
  3. HEIDEGGER, Martin. Sein und Zeit. 11. ed. Tübingen: Max Niemeyer Verlag, 1967.
  4. GADAMER, Hans-Georg. Wahrheit und Methode. Berlin: Akademie Verlag, 2007. v. 30.