diff --git a/examples/example-godel.md b/examples/example-godel.md index 11638d1..4cedeff 100644 --- a/examples/example-godel.md +++ b/examples/example-godel.md @@ -35,7 +35,6 @@ theme : godel ![bg left:33%](https://upload.wikimedia.org/wikipedia/commons/9/9e/Young_Kurt_G%C3%B6del_as_a_student_in_1925.jpg) -
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme
On Formally Undecidable Propositions
@@ -287,10 +286,7 @@ The book was originally entitled "Phänomenologie des Geistes" by its author, G. Transition Slide 2
_Aditional_ **Text** --- - - + ![bg left:33% opacity:20% blur:8px](https://images.unsplash.com/photo-1524995997946-a1c2e315a42f?ixlib=rb-1.2.1&ixid=MnwxMjA3fDB8MHxwaG90by1wYWdlfHx8fGVufDB8fHx8&auto=format&fit=crop&w=870&q=80) @@ -305,10 +301,7 @@ The book was originally entitled "Phänomenologie des Geistes" by its author, G. 4. HEGEL, Georg Friederich Wilhelm. **Hegel´s Phenomenology of Spirit**. Tradução: A. V. Miller. New York: Oxford University Press, 2004. --- - - + # References diff --git a/examples/example-godel.pdf b/examples/example-godel.pdf index 2b7b68c..2e5cd8d 100644 Binary files a/examples/example-godel.pdf and b/examples/example-godel.pdf differ diff --git a/examples/example-turing.html b/examples/example-turing.html new file mode 100644 index 0000000..c56946b --- /dev/null +++ b/examples/example-turing.html @@ -0,0 +1,553 @@ +Example Slides for Theme Alan Turing
Computing Machinery and Intelligence
+
Can machines think?
+
Alan Mathison Turing
+
Mind, , 1950
+
Oxford University - Oxfordshire, UK.
+
+
+

Computing Machinery and Intelligence

+

Can machines think?

+

Alan Mathison Turing

+

Mind, , 1950

+
Oxford University - Oxfordshire, UK.
+
+
+

A. M. Turing (1950) Computing Machinery and Intelligence. Mind 49: 433-460.

+
+
+

Lists

+
+
+ +
    +
  1. London
    2. +
  2. Manchester
    3. +
  3. Birmingham
    4. +
  4. Glasgow
    5. +
  5. Liverpool
    6. +
+
+
+
    +
  1. Newcastle
    2. +
  2. Sheffield
    3. +
  3. Nottingham
    4. +
  4. Southampton
    5. +
  5. Edinburgh
    6. +
+
+
+
+
+

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. +
  2. Two
    3. +
  3. Three +
      +
    1. abc
      2. +
    2. def
      3. +
    +
    4. +
  4. End of list
    5. +
+
+
+

+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 AColumn BColumn CColumn D
A1B1C1D1
A2B2C2D2
A3B3C3D3
+
+Table: Exemple of use of tables. +
+
+
+

LaTeX Equations

+

+Formulae: Exemples of LaTeX formulas use. +
+
+
+

Images in Two Columns

+
+
+

+
+
+

+
+
+
+
+

Images in Two Columns

+
+
+

+
+Figure: Kleinrock, Gail (1979). +
+
+
+

+
+Figure: Springer Verlag (1979). +
+
+
+
+
+

Image and text

+
+
+
+

+
+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

+
+
+
+
+

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

+
+
+

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

+
+
+
+

Transition Slide 1
Aditional Text

+
+
+

Transition Slide 2
Aditional Text

+
+
+

References

+
    +
  1. +

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

    +
    2. +
  2. +

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

    +
    3. +
  3. +

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

    +
    4. +
  4. +

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

    +
    5. +
  5. +

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

    +
    6. +
+
+
+

References

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

![bg left:33%](https://upload.wikimedia.org/wikipedia/commons/thumb/a/a1/Alan_Turing_Aged_16.jpg/200px-Alan_Turing_Aged_16.jpg)

![bg left:33% h:100%](https://www.macworld.com/wp-content/uploads/2021/10/steve-jobs-2-1.jpg?quality=50&strip=all)

\ No newline at end of file diff --git a/examples/example-turing.md b/examples/example-turing.md index 3d6d9b4..f197114 100644 --- a/examples/example-turing.md +++ b/examples/example-turing.md @@ -32,12 +32,9 @@ theme: turing - ![bg left:33% grayscale:1 brightness:1.1](https://www.thesun.co.uk/wp-content/uploads/2019/07/NINTCHDBPICT000491505127.jpg) - -
Computing Machinery and Intelligence
Can machines think?
Alan Mathison Turing
@@ -49,13 +46,9 @@ theme: turing # Computing Machinery and Intelligence - ## Can machines think? - ### Alan Mathison Turing - #### Mind, , 1950 - ##### Oxford University - Oxfordshire, UK. --- @@ -301,10 +294,6 @@ The book was originally entitled "Phänomenologie des Geistes" by its author, G. --- - - ![bg left:25% opacity:70% blur:1px](https://images.unsplash.com/photo-1524995997946-a1c2e315a42f?ixlib=rb-1.2.1&ixid=MnwxMjA3fDB8MHxwaG90by1wYWdlfHx8fGVufDB8fHx8&auto=format&fit=crop&w=870&q=80) @@ -320,10 +309,6 @@ The book was originally entitled "Phänomenologie des Geistes" by its author, G. --- - - # References diff --git a/examples/example-turing.pdf b/examples/example-turing.pdf index 620f310..ea57210 100644 Binary files a/examples/example-turing.pdf and b/examples/example-turing.pdf differ diff --git a/style/godel.css b/style/godel.css index f279627..07b5214 100644 --- a/style/godel.css +++ b/style/godel.css @@ -4,7 +4,7 @@ ============================================ Created by Paulo Cunha version: 1.0 - last update: 21.mar.2023 + last update: 24.mar.2023 ============================================ */ @@ -19,7 +19,8 @@ @import url('https://fonts.cdnfonts.com/css/fira-sans-condensed?styles=19730'); -/***************** COMMON STRUCTURE **********************/ +/* -------------------- ROOT -------------------------------*/ + :root { @@ -58,12 +59,13 @@ section strong { color:rgba(5, 51, 255, 0.534) ; color:rgba(5, 43, 255, 0.979) ; color:rgb(211, 43, 80) ; - + padding-left: 2px; padding-right: 2px; font-weight: 600; } +/* -------------------- TRANSITION -------------------------------*/ section.transition em { @@ -85,6 +87,7 @@ section.transition { } +/* -------------------- TRANSITION2 -------------------------------*/ section.transition2 strong { @@ -93,3 +96,21 @@ section.transition2 strong { } +/* -------------------- BIBLIO -------------------------------*/ + +section.biblio { + + /* font-family: "Fira Sans", serif; */ + + + --text-color : rgb(253, 252, 252); + --biblio-background-color : rgb(0, 0, 0); + --border-color : darkorange; + --bold-color : orange; +} + +section.biblio p { + + font-family: "Fira Sans", serif; + +} \ No newline at end of file diff --git a/style/turing.css b/style/turing.css index a37b53d..df74c36 100644 --- a/style/turing.css +++ b/style/turing.css @@ -115,14 +115,14 @@ /* Titlepage made with */ -section.titlepage .title strong { - color: rgb(255, 52, 52); -} - section.titlepage .title { /* border-bottom: 1px solid rgb(179, 176, 176); */ border-bottom: 1px solid rgb(29, 107, 209); - letter-spacing: -0.23px; + letter-spacing: -0.6px; +} + +section.titlepage .title strong { + color: rgb(255, 52, 52); } section.titlepage .subtitle { @@ -149,6 +149,9 @@ section.titlepage h1 { margin-left: 0pt; margin-right: 0pt; + + letter-spacing: -0.6px; + } section.titlepage h2 { @@ -156,56 +159,61 @@ section.titlepage h2 { } + /* -------------------- TRANSITION ---------------------------------*/ section.transition { - --transitionpage-color: #c98833; - - font-weight: 600; - + background-color: rgb(255, 82, 2) !important; + font-weight: 500; /* font-size: 200%; */ - color: white; + /* text-shadow: 0px 2px 0 rgb(34, 49, 65); */ - /* text-shadow: 0px 2px 0 rgb(22, 24, 26); */ } section.transition strong { - color: rgb(238, 234, 5); - font-weight: 600; + font-weight: 900; + color: rgb(10, 100, 235); + color: rgb(172, 255, 7); + } section.transition em { - /* color: rgb(10, 100, 235); */ - color: rgb(0, 0, 0); - font-weight: 600; - background-color: rgb(255, 118, 5); + color: rgb(230, 226, 226); + background-color: rgba(201, 199, 197, 0.493) !important; + /* text-shadow: 1px 0px 0 rgb(8, 8, 8); */ + } + /* -------------------- TRANSITION2 ---------------------------------*/ -section.transition2 { +section.transition { - background-color: rgb(121, 148, 199) !important; - - font-weight: 900; + --transitionpage-color: #417dad; + --transitionpage-color: #4594b9; + + color: white; + font-weight: 700; /* font-size: 200%; */ - text-shadow: 0px 2px 0 rgb(34, 49, 65); + /* text-shadow: 0px 2px 0 rgb(22, 24, 26); */ } section.transition2 strong { - font-weight: 900; - color: rgb(10, 100, 235); - color: rgb(172, 255, 7); - + color: rgb(238, 234, 5); + font-weight: 700; } section.transition2 em { + + color: rgb(255, 255, 255); + font-weight: 700; + /* background-color: initial; */ + background-color: rgba(207, 207, 206, 0.397) !important; + /* text-shadow: 1px 0px 0 rgb(34, 49, 65); */ - color: black; - background-color: rgba(255, 5, 5, 0.295); }