Logic

1. Logic

ID: 9ff60117-e232-4754-8fa4-85939b519ced
CREATED: <2025-02-28 Fri 18:53>

1.1. Formal Logic

ID: 460c0ac9-f37b-46ba-9837-21f6424185fd
CREATED: <2025-02-28 Fri 18:53>
AKA: Symbolic Logic

[2025-02-28 Fri 18:53] – Logic - Wikipedia

1.1.1. Formal Language

ID: fb36a89f-2b32-452a-b480-5ea23bd63efb
CREATED: <2025-02-28 Fri 18:54>

[2025-02-28 Fri 18:54] – Formal language - Wikipedia

1.1.2. Formal System

ID: d2bffba1-8d5e-4733-be29-8e07c2cb528c
CREATED: <2025-02-28 Fri 18:24>

[2025-02-28 Fri 18:24] – Formal system - Wikipedia

  1. Lambda Calculus
    ID: 68ab28bf-45b9-4d51-90d0-8fb77017ec62
CREATED: <2025-02-28 Fri 18:24>

    [2025-02-28 Fri 18:24] – Lambda calculus - Wikipedia

1.2. Automata

ID: 6eeab81b-c95c-4991-9e0a-d3c565dc800d
CREATED: <2025-02-28 Fri 18:56>

[2025-02-28 Fri 18:56] – Automata theory - Wikipedia

1.2.1. Abstract Machine

ID: 160d9219-f9e4-4ab3-864d-5aa0df3f9099
CREATED: <2025-02-28 Fri 18:56>

[2025-02-28 Fri 18:56] – Abstract machine - Wikipedia

  1. FSM
    ID: 4bec80fd-4547-462f-9945-e4e524a018c4
CREATED: <2025-02-28 Fri 18:58>

    [2025-02-28 Fri 18:58] – Finite-state machine - Wikipedia

    Finite-State Machine

1.2.2. Automaton

ID: 8259478a-d303-4d05-ac00-505decc39bb4
CREATED: <2025-02-28 Fri 18:57>

[2025-02-28 Fri 18:57] – Automaton - Wikipedia

1.3. Paradox

ID: 23328bba-a55c-475a-9438-8f86f5df6f2a
CREATED: <2025-02-28 Fri 18:55>