Mathematik Für Informatiker: Algebraische Strukturen an der TU Kaiserslautern | Karteikarten & Zusammenfassungen

Lernmaterialien für Mathematik für Informatiker: Algebraische Strukturen an der TU Kaiserslautern

Greife auf kostenlose Karteikarten, Zusammenfassungen, Übungsaufgaben und Altklausuren für deinen Mathematik für Informatiker: Algebraische Strukturen Kurs an der TU Kaiserslautern zu.

TESTE DEIN WISSEN

Axiome

Lösung anzeigen
TESTE DEIN WISSEN

Aussagen, die man bereits bewiesen hat

Lösung ausblenden
TESTE DEIN WISSEN

Was ist eine Aussage?

Lösung anzeigen
TESTE DEIN WISSEN

Eine Aussage ist eine Behauptung, die entweder wahr oder falsch ist

Lösung ausblenden
TESTE DEIN WISSEN
Wahrheitswert


Lösung anzeigen
TESTE DEIN WISSEN

Der
Wahrheitswert einer Aussage A ist das Attribut wahr, falls A eine wahre Aussage ist, und
das Attribut falsch, falls A eine falsche Aussage ist.

Lösung ausblenden
TESTE DEIN WISSEN

Junktoren

Lösung anzeigen
TESTE DEIN WISSEN

Ein Junktor ist eine logische Verknüpfung zwischen Aussagen innerhalb der Aussagenlogik, also ein logischer Operator.

Lösung ausblenden
TESTE DEIN WISSEN
Negation


Lösung anzeigen
TESTE DEIN WISSEN

¬A eine Negation von A und lesen “nicht A”.

Lösung ausblenden
TESTE DEIN WISSEN

Disjunktion

Lösung anzeigen
TESTE DEIN WISSEN

 A∨B eine Disjunktion von A und B und lesen A∨B als “A oder B”.

Lösung ausblenden
TESTE DEIN WISSEN

Implikation

Lösung anzeigen
TESTE DEIN WISSEN

A ⇒ B eine Implikation von A und B und lesen “A impliziert B” oder “aus A folgt B" oder "wenn A, dann (auch) B"

Lösung ausblenden
TESTE DEIN WISSEN

Äquivalenz

Lösung anzeigen
TESTE DEIN WISSEN

A⇔B eine Äquivalenz ¨ wenn, und nur wenn, B”. von A und B und lesen “A genau dann, wenn B” oder “A wenn, und nur wenn B"

Lösung ausblenden
TESTE DEIN WISSEN

Tautologie

Lösung anzeigen
TESTE DEIN WISSEN

Eine Aussage, die immer wahr ist

Lösung ausblenden
TESTE DEIN WISSEN

Assoziativgesetze (Mengen)

Lösung anzeigen
TESTE DEIN WISSEN

(A∨B)∨C⇔A∨(B∨C) und (A∧B)∧C⇔A∧(B∧C).

Lösung ausblenden
TESTE DEIN WISSEN

Kommutativgesetz (Mengen)

Lösung anzeigen
TESTE DEIN WISSEN

:A∨B⇔B∨A und A∧B⇔B∧A.

Lösung ausblenden
TESTE DEIN WISSEN

Distributivgesetz (Mengen)

Lösung anzeigen
TESTE DEIN WISSEN

A∨ (B∧C) ⇔ (A∨B) ∧ (A∨C) und A∧ (B∨C) ⇔ (A∧ B)∨(A∧C).

Lösung ausblenden
  • 25742 Karteikarten
  • 697 Studierende
  • 76 Lernmaterialien

Beispielhafte Karteikarten für deinen Mathematik für Informatiker: Algebraische Strukturen Kurs an der TU Kaiserslautern - von Kommilitonen auf StudySmarter erstellt!

Q:

Axiome

A:

Aussagen, die man bereits bewiesen hat

Q:

Was ist eine Aussage?

A:

Eine Aussage ist eine Behauptung, die entweder wahr oder falsch ist

Q:
Wahrheitswert


A:

Der
Wahrheitswert einer Aussage A ist das Attribut wahr, falls A eine wahre Aussage ist, und
das Attribut falsch, falls A eine falsche Aussage ist.

Q:

Junktoren

A:

Ein Junktor ist eine logische Verknüpfung zwischen Aussagen innerhalb der Aussagenlogik, also ein logischer Operator.

Q:
Negation


A:

¬A eine Negation von A und lesen “nicht A”.

Mehr Karteikarten anzeigen
Q:

Disjunktion

A:

 A∨B eine Disjunktion von A und B und lesen A∨B als “A oder B”.

Q:

Implikation

A:

A ⇒ B eine Implikation von A und B und lesen “A impliziert B” oder “aus A folgt B" oder "wenn A, dann (auch) B"

Q:

Äquivalenz

A:

A⇔B eine Äquivalenz ¨ wenn, und nur wenn, B”. von A und B und lesen “A genau dann, wenn B” oder “A wenn, und nur wenn B"

Q:

Tautologie

A:

Eine Aussage, die immer wahr ist

Q:

Assoziativgesetze (Mengen)

A:

(A∨B)∨C⇔A∨(B∨C) und (A∧B)∧C⇔A∧(B∧C).

Q:

Kommutativgesetz (Mengen)

A:

:A∨B⇔B∨A und A∧B⇔B∧A.

Q:

Distributivgesetz (Mengen)

A:

A∨ (B∧C) ⇔ (A∨B) ∧ (A∨C) und A∧ (B∨C) ⇔ (A∧ B)∨(A∧C).

Mathematik für Informatiker: Algebraische Strukturen

Erstelle und finde Lernmaterialien auf StudySmarter.

Greife kostenlos auf tausende geteilte Karteikarten, Zusammenfassungen, Altklausuren und mehr zu.

Jetzt loslegen

Das sind die beliebtesten Mathematik für Informatiker: Algebraische Strukturen Kurse im gesamten StudySmarter Universum

Medizin für Informatiker 2

TU München

Zum Kurs
Mathematik für Ingenieure

Technische Hochschule Mittelhessen

Zum Kurs
Mathematische Grundlagen der Informatik

Hochschule Fulda

Zum Kurs
Analysis für Informatiker

Universität Paderborn

Zum Kurs

Die all-in-one Lernapp für Studierende

Greife auf Millionen geteilter Lernmaterialien der StudySmarter Community zu
Kostenlos anmelden Mathematik für Informatiker: Algebraische Strukturen
Erstelle Karteikarten und Zusammenfassungen mit den StudySmarter Tools
Kostenlos loslegen Mathematik für Informatiker: Algebraische Strukturen