Garantie de satisfaction à 100% Disponible immédiatement après paiement En ligne et en PDF Tu n'es attaché à rien
logo-home
Samenvatting Hoorcolleges Datamodelleren UU €3,99   Ajouter au panier

Resume

Samenvatting Hoorcolleges Datamodelleren UU

7 revues
 303 vues  17 fois vendu
  • Cours
  • Établissement

Hierbij verkoop ik een PDF-versie van mijn samenvatting voor het vak Datamodelleren. Dit vak wordt gegeven op de Universiteit Utrecht en de samenvatting bevat alle stof voor het tentamen dat wij hadden. Wanneer je deze koopt, gaat het er zeker voor zorgen dat je een goede kans op een voldoende gaat...

[Montrer plus]

Aperçu 4 sur 38  pages

  • 5 janvier 2019
  • 38
  • 2017/2018
  • Resume

7  revues

review-writer-avatar

Par: fvdsalm • 3 année de cela

review-writer-avatar

Par: sembridi • 4 année de cela

Traduit par Google

Prima summary

review-writer-avatar

Par: lennarddeurman • 5 année de cela

review-writer-avatar

Par: lukavandenherik • 5 année de cela

review-writer-avatar

Par: oliverjanssen • 5 année de cela

review-writer-avatar

Par: timtenwolde1 • 5 année de cela

review-writer-avatar

Par: michielkoch • 5 année de cela

reply-writer-avatar

Par: daimsv • 5 année de cela

Traduit par Google

Thank you for your 5 star review, michielkoch!

avatar-seller
Datamodelleren aantekeningen:

Propositielogica
Een atoom is een woord
De waarheid van de atomen wordt bepaald door hun interpretatie in een model




Als het regent en ik ben buiten, dan word ik nat: Als R en Bui, dan N: (R ∧ Bui) → N
Als er een regenboog is, dan schijnt de zon: Als RB, dan Z: RB → Z
V ∪ H, waarbij ∪ voor de vereniging van twee verzamelingen staat.
(𝑍 ∨ 𝑅) ∧ ¬(𝑍 ∧ 𝑅): de zon schijnt of het regent en niet allebei tegelijk.
(𝑍 ∧ ¬𝑅) ∨ (¬𝑍 ∧ 𝑅): de zon schijnt en het regent niet of de zon schijnt niet en het regent wel

Buitenste haakjes weglaten: 𝑎 ∧ 𝑏 in plaats van (𝑎 ∧ 𝑏). Binnenste haakjes mogen we niet weglaten!

De voegtekens ∧, ∨, → en ↔ zijn rechts associatief. Dat wil zeggen dat als v ∈ {∧, ∨, →, ↔}, dan
moet A v B v C gelezen worden als A v (B v C). Maar 𝑎 ∧ 𝑏 → 𝑎 moeten we juist lezen als (𝑎 ∧ 𝑏)→ 𝑎

In de informatica schrijven we vaak 1 voor waar en 0 voor onwaar
INCLUSIEVE OF: als x waar is en y ook is XvY ook waar.

Een propositie of bewering is in de logica een declaratieve zin die of waar of onwaar kan zijn.
De ‘waarheid’ van een propositie wordt volledig bepaald door de waarden die we aan de atomen
toekennen. Een model in de propositielogica is dan ook eenvoudigweg een toekenning van waarden
({0,1}) aan de atomen. Een model in de propositielogica is een waardentoekenning of valuatie van de
atomen: een functie 𝑣 ∶ 𝐴 → {0,1}
We zeggen 𝑓 is waar in een model 𝑣 als 𝑣 𝑓 = 1
Alleen onwaar bij verkeerd gevolg of als iets niet werkt/ kapot is. (X is oorzaak Y gevolg).

Als een propositie 𝑓 waar is in ieder model (dat wil zeggen dat er in de waarheidstabel van 𝑓 alleen
maar 1-en staan als uitkomst), dan noemen we de propositie logisch waar en is het een tautologie.

Om de waarde van een propositie 𝑓 te bepalen hoeven we niet de waarden van alle atomen te
weten, maar alleen van de atomen die in 𝑓 voorkomen. We zullen daarom een model vaak
gelijkstellen aan een eindige waardentoekenning

Als een propositie f logisch waar is, wordt dat genoteerd met ⊨ f
Als een propositie 𝑓 niet logisch waar is, wordt dat genoteerd met ⊭ f

,AND
X Y X^Y
0 0 0
0 1 0
1 0 0
1 1 1

OR
X Y X˅Y
0 0 0
0 1 1
1 0 1
1 1 1

De logische implicatie (→) heeft twee argumenten. De teruggegeven waarde is
enkel 1 (waar) als het eerste argument 0 (onwaar) is, en als beide argumenten
1 (waar) zijn. Men spreekt (P → Q) uit als "als P dan Q". Voorbeeld die je kan
gebruiken om te kijken of X → Y waar of onwaar is is dit: ‘als 1 + 1 = 3, dan 2 + 2 = 6’.
X Y X→Y
0 0 1
0 1 1
1 0 0
1 1 1

De logische equivalentie (↔) heeft twee argumenten. De teruggegeven
waarde is T als beide argumenten dezelfde waarde hebben. Men spreekt (P ↔
Q) uit als "P dan en slechts dan als Q".
X Y X↔Y
0 0 1
0 1 0
1 0 0
1 1 1


a ᷆a a U a᷆
0 1 1 (waar)
1 0 1 (waar)

,Voorbeeldopgave bij bovenstaande tabellen:


Los op:
1. A ^ B → A
2. A ˅ (B → A)
3. ᷆A → ᷆B

Oplossingen:

Vraag 1: A ^ B → A

Kolom 1 en 2 zijn gegeven.
Om kolom 3 te maken kijk je boven in de tabel en zie je welke waarden er bij horen
Om kolom 4 te maken kijk je naar het gemeenschappelijke tekentje, in dit geval de pijl (→)
en kijk je direct naar de tabel van het pijltje hierboven. Dan doe je kolom 3 als een X
beschouwen (omdat het als eerst staat in de formule van kolom 4) en de A als Y en dan vul je
het in via de gegeven waarden van de tabel hierboven.

Kolom 1 Kolom 2 Kolom 3 Kolom 4
A B A^B A^B→A
0 0 0 1
0 1 0 1
1 0 0 1
1 1 1 1


Vraag 2: A ˅ (B → A)

Om kolom 3 te krijgen beschouw je kolom 2 als de X en kolom 1 als de Y en kijk je in het
tabelletje hierboven met het pijltje. Voorbeeld van de 2 e rij: X= 1 en Y= 0 wordt 0.

Om kolom 4 te vormen kijk je naar het gemeenschappelijke teken, wat in dit geval het
omgekeerde dakje (˅) is en dan doe je A als X want komt als eerste voor in de los op formule
en (B → A) is de Y en dan kijk je naar de X en de Y in de omgekeerde dakjestabel van
hierboven en dan los je hem op.

Kolom 1 Kolom 2 Kolom 3 Kolom 4
A B B→A A ˅ (B → A)
0 0 1 1
0 1 0 0
1 0 1 1
1 1 1 1

, Vraag 3: A
᷆ → ᷆B

Kolom 1 en 2 zijn gegeven

Kolom 3 zijn letterlijk de tegenovergestelde waarden van kolom 1 en kolom 4 heeft letterlijk
de tegenovergestelde waarden aan 2.

Kolom 5 krijg je door kolom 3 te beschouwen als de X en kolom 4 te beschouwen als de Y in
de tabel van het pijltje hierboven. Dan kijk je de waarden en vul je ze in kolom 5.

Kolom 1 Kolom 2 Kolom 3 Kolom 4 Kolom 5
A B ᷆A ᷆B ᷆A → ᷆B
0 0 1 1 1
0 1 1 0 0
1 0 0 1 1
1 1 0 0 1

Les avantages d'acheter des résumés chez Stuvia:

Qualité garantie par les avis des clients

Qualité garantie par les avis des clients

Les clients de Stuvia ont évalués plus de 700 000 résumés. C'est comme ça que vous savez que vous achetez les meilleurs documents.

L’achat facile et rapide

L’achat facile et rapide

Vous pouvez payer rapidement avec iDeal, carte de crédit ou Stuvia-crédit pour les résumés. Il n'y a pas d'adhésion nécessaire.

Focus sur l’essentiel

Focus sur l’essentiel

Vos camarades écrivent eux-mêmes les notes d’étude, c’est pourquoi les documents sont toujours fiables et à jour. Cela garantit que vous arrivez rapidement au coeur du matériel.

Foire aux questions

Qu'est-ce que j'obtiens en achetant ce document ?

Vous obtenez un PDF, disponible immédiatement après votre achat. Le document acheté est accessible à tout moment, n'importe où et indéfiniment via votre profil.

Garantie de remboursement : comment ça marche ?

Notre garantie de satisfaction garantit que vous trouverez toujours un document d'étude qui vous convient. Vous remplissez un formulaire et notre équipe du service client s'occupe du reste.

Auprès de qui est-ce que j'achète ce résumé ?

Stuvia est une place de marché. Alors, vous n'achetez donc pas ce document chez nous, mais auprès du vendeur daimsv. Stuvia facilite les paiements au vendeur.

Est-ce que j'aurai un abonnement?

Non, vous n'achetez ce résumé que pour €3,99. Vous n'êtes lié à rien après votre achat.

Peut-on faire confiance à Stuvia ?

4.6 étoiles sur Google & Trustpilot (+1000 avis)

78998 résumés ont été vendus ces 30 derniers jours

Fondée en 2010, la référence pour acheter des résumés depuis déjà 14 ans

Commencez à vendre!
€3,99  17x  vendu
  • (7)
  Ajouter