Samenvatting: Logica, Verzamelingen En Relaties | 9789492231550 | J S Lodder

Lees hier de samenvatting en de meest belangrijke oefenvragen van Logica, verzamelingen en relaties | 9789492231550 | J.S. Lodder

• 0 Introductie tot de cursus

  Dit is een preview. Er zijn 3 andere flashcards beschikbaar voor hoofdstuk 0
  Laat hier meer flashcards zien

• Waarom is het vak logica, verzamelingen&relaties belangrijk voor bedrijfskundige informatica?

  Logica en verzamelingen vormen de basis van de wiskunde. Gelijksoortige dingen worden ondergebracht in verzamelingen ofwel wiskundige objecten. Logica is een wiskunde taal waarmee kan worden geredeneerd over verzamelingen ofwel wiskundige objecten.

• Wanneer wordt logica gebruikt in de informatica?

  • Hardware engineering ( CPU/CVE )
  • Software engineering

• Wat is de essentie van toegepaste wiskunde?

  • Een complex bedrijfsprobleem doet zich voor
  • De bedrijfswerkelijkheid wordt gemodelleerd door:
  • Verzamelingen te definieren (definities)
  • Eigenschappen/Predikaten toekennen aan verzamelingen en.of objecten
  • Verzamelingen structureren met Relaties Equivalentierelatie, Partiele ordening (reflexief transitief?), Functies.
  • Het wiskundig model/bedrijfswerkelijkheid analyseren
  • Efficiency problemen oplossen

• 1 Propositielogica

• 1.1 Wat is propositielogica

  Dit is een preview. Er zijn 7 andere flashcards beschikbaar voor hoofdstuk 1.1
  Laat hier meer flashcards zien

• Waarom is de propositielogica waarheidsfunctioneel?

  De waarheid van een uitspraak berust op de waarheid van de delen.

• Wat is een connectief en welke verschillende connectieven zijn er?

  Een connectief is een logisch voegwoord. Dit kan zijn een:
  

  • Conjunctieteken (verbindt conjuncten)
  • Disjunctieteken (verbindt disjuncten)
  • Equivalentieteken (verbindt equivalenten)
  • Implicatieteken
  • Negatieteken 

• Wat is de definitie van een logische formule?

  1. propositieletter (p,q,r, ....) is een formule
  2. connectief + propositieletter(s) is een formule
  3. Dat is alles

• Hoe stel je een waarheidstabel op?

  1. Apart combinaties waarheidswaarden propositieletters
  2. Corresponderende waarheidswaarden in formule
  3. Van binnen naar buiten waarheidswaarden uitrekenen

• Wat is de kracht van de propositielogica?

  Sterkere connectieven kunnen worden geintroduceerd met corresponderende waarheidstabellen. Bijvoorbeeld:
  

  • NAND
  • XOR
  • NOR

• 2 Wetten van de propositielogica

  Dit is een preview. Er zijn 1 andere flashcards beschikbaar voor hoofdstuk 2
  Laat hier meer flashcards zien

• Waarvoor wordt de propositielogica gebruikt in de informatica?

  • Conditionele uitdrukkingen (software engineering)
  • Kennissystemen programmeren in prolog (software engineering)
  • Database bijwerken in CNV (software engineering)

• Waarom zijn de wetten van de propositielogica relevant?

  De wetten van de propositielogica fungeren als wiskundig instrument waarmee logische formules efficient kunnen worden versimpeld of omgezet in een andere vorm. Het voorkomt dat er wordt gerekend met grote waarheidstabellen.