Grundlagen und Logic 1 Semester at Duale Hochschule Baden-Württemberg

Flashcards and summaries for Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg

Arrow Arrow

It’s completely free

studysmarter schule studium
d

4.5 /5

studysmarter schule studium
d

4.8 /5

studysmarter schule studium
d

4.5 /5

studysmarter schule studium
d

4.8 /5

Study with flashcards and summaries for the course Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg

Exemplary flashcards for Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg on StudySmarter:

Grundlagen und Logik einer Software (Anwendungsfall)

Exemplary flashcards for Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg on StudySmarter:

Definition der Mengenlehre

Exemplary flashcards for Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg on StudySmarter:

Erklären Sie Komprehension-Axiom

This was only a preview of our StudySmarter flashcards.
Flascard Icon Flascard Icon

Millions of flashcards created by students

Flascard Icon Flascard Icon

Create your own flashcards as quick as possible

Flascard Icon Flascard Icon

Learning-Assistant with spaced repetition algorithm

Sign up for free!

Exemplary flashcards for Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg on StudySmarter:

Aufgabe Definieren Sie die Menge S aller Quadratzahlen

Exemplary flashcards for Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg on StudySmarter:

Erklären Sie Potenzmenge.

Exemplary flashcards for Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg on StudySmarter:

Erklären Sie card(M)

Exemplary flashcards for Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg on StudySmarter:

Erklären Sie Vereinigungsmenge?

This was only a preview of our StudySmarter flashcards.
Flascard Icon Flascard Icon

Millions of flashcards created by students

Flascard Icon Flascard Icon

Create your own flashcards as quick as possible

Flascard Icon Flascard Icon

Learning-Assistant with spaced repetition algorithm

Sign up for free!

Exemplary flashcards for Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg on StudySmarter:

Erklären Sie Schnittmenge.

Exemplary flashcards for Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg on StudySmarter:

How have we defined the notion of a set?
Wie haben wir den Begriff einer Menge definiert?

Exemplary flashcards for Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg on StudySmarter:

Was ist das Halteproblem?

Exemplary flashcards for Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg on StudySmarter:

Regeln zum Einsparen der Klammern

This was only a preview of our StudySmarter flashcards.
Flascard Icon Flascard Icon

Millions of flashcards created by students

Flascard Icon Flascard Icon

Create your own flashcards as quick as possible

Flascard Icon Flascard Icon

Learning-Assistant with spaced repetition algorithm

Sign up for free!

Exemplary flashcards for Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg on StudySmarter:

How have we defined the notion of a set?

Your peers in the course Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg create and share summaries, flashcards, study plans and other learning materials with the intelligent StudySmarter learning app.

Get started now!

Flashcard Flashcard

Exemplary flashcards for Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg on StudySmarter:

Grundlagen und Logic 1 Semester

Grundlagen und Logik einer Software (Anwendungsfall)

  • Logik kann benutzt werden, um die Schnittstell zwischen Teilsystemen eindeutig zu spezifizieren
  • Korrektheit digitaler Schaltung kann mit automatischen Beweisen nachgewiesen werden
  • Mengenlehre Basis Relationen Datenbanken

Grundlagen und Logic 1 Semester

Definition der Mengenlehre

Eine Menge ist eine wohldefinierte Ansammlung von Objekten (wohldefiniert: Für jedes Objekt x muss klar sein, ob zu der Menge M gehört oder nicht)

Grundlagen und Logic 1 Semester

Erklären Sie Komprehension-Axiom

Axiom der Zusammenfassung. Ist P von x eine Eigenschaft, die ein Objekt X haben kann, so können alle Objekte mit der Eigenschaft PCxi zu einer Menge M zusammenfassen. (M:= {x | p(x)}) M = Ist die Menge alle Objekte, die die Eigenschaft p haben. Das Komprehension-Axiom ist allgemein Zuverlässiger Verfahren zur Konstruktion von Mengen!

Grundlagen und Logic 1 Semester

Aufgabe Definieren Sie die Menge S aller Quadratzahlen

S = {x E N | ∃ g E N : x = y*y}

Grundlagen und Logic 1 Semester

Erklären Sie Potenzmenge.

Ist M eine Menge, so ist ihre Potenzmenge P(M) die Menge aller Teilmengen von M

einschließlich 

leere Menge und M selbst. Bsp. 2^n := {x| x <= M}

Grundlagen und Logic 1 Semester

Erklären Sie card(M)

Card(M) wird die Anzahl der Elemente von einer Menge bezeichnet

Grundlagen und Logic 1 Semester

Erklären Sie Vereinigungsmenge?

Sind A und B Menge, so ist die Vereinigungsmenge von A und B die Menge aller Objekte, die in A oder in B enthalten sind. AvB := {x | x E A v x E B } Bsp. {1,2,3} v {2,5} = {1,2,3,5}


Grundlagen und Logic 1 Semester

Erklären Sie Schnittmenge.

Sind A und B Mengen, so ist die Schnittmenge von A und B die Menge aller Objekte, die sowohl in A als auch in B enthalten sind. Formel : AnB := {x | x E A und x E B}

Bsp. {1,2,3} n {2,3,6,5} = {3,5}

Grundlagen und Logic 1 Semester

How have we defined the notion of a set?
Wie haben wir den Begriff einer Menge definiert?

Eine "Menge" ist eine genau definierte Sammlung M bestimmter Objekte x unserer Wahrnehmung oder unserer Denken.

Grundlagen und Logic 1 Semester

Was ist das Halteproblem?

Das Halteproblem besteht darin, ein Programm (bzw. Algorithmus) zu entwickeln, mit dem man testen kann, ob ein übergebenes Programm bei der Verarbeitung übergebener Daten hält oder nicht. --> Damit keine Endlosschleife entsteht

Grundlagen und Logic 1 Semester

Regeln zum Einsparen der Klammern

  • Äußere Klammern dürfen weggelassen werden
  • Die Junktoren "∧ " und "∨" werden links geklammert 
  • "∧ " und "∨" dürfen nicht ohne Klammern, gemischt werden, denn "∨"  und  "∧ " binden gleich stark
  • Der Junktor "→" ist rechts assoziativ
  • Der Junktor "↔ " ist  links und rechts assoziativ; d.h. p ↔  q ↔  r ist verboten ;  korrekt ist: (p ↔  a) ∧  (q ↔  r)

Grundlagen und Logic 1 Semester

How have we defined the notion of a set?

The simplest way to define a set is to list of all of its elements. These elements are enclosed in the
curly braces “{” and “}” and are separated by commas. For example, when we define
M := {1, 2, 3},


Sign up for free to see all flashcards and summaries for Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg

Singup Image Singup Image
Wave

Other courses from your degree program

For your degree program Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg there are already many courses on StudySmarter, waiting for you to join them. Get access to flashcards, summaries, and much more.

Back to Duale Hochschule Baden-Württemberg overview page

IB 1 Grundlagen

Grundlagen der Biologie 1

BWL Grundlagen 1.1

Grundlagen der Biologie 1

Grundlagen Biologie 1 & 2

What is StudySmarter?

What is StudySmarter?

StudySmarter is an intelligent learning tool for students. With StudySmarter you can easily and efficiently create flashcards, summaries, mind maps, study plans and more. Create your own flashcards e.g. for Grundlagen und Logic 1 Semester at the Duale Hochschule Baden-Württemberg or access thousands of learning materials created by your fellow students. Whether at your own university or at other universities. Hundreds of thousands of students use StudySmarter to efficiently prepare for their exams. Available on the Web, Android & iOS. It’s completely free.

Awards

Best EdTech Startup in Europe

Awards
Awards

EUROPEAN YOUTH AWARD IN SMART LEARNING

Awards
Awards

BEST EDTECH STARTUP IN GERMANY

Awards
Awards

Best EdTech Startup in Europe

Awards
Awards

EUROPEAN YOUTH AWARD IN SMART LEARNING

Awards
Awards

BEST EDTECH STARTUP IN GERMANY

Awards
X

StudySmarter - The study app for students

StudySmarter

4.5 Stars 1100 Rating
Start now!
X

Good grades at university? No problem with StudySmarter!

89% of StudySmarter users achieve better grades at university.

50 Mio Flashcards & Summaries
Create your own content with Smart Tools
Individual Learning-Plan

Learn with over 1 million users on StudySmarter.

Already registered? Just go to Login