Du må laste opp et dokument for å få tilgang til dette dokumentet.
Med medlemskap får du tilgang til alle dokumenter og du kan laste ned så mange du vil.
Emne
In1150 logiske metoder
Type
Oblig
Karakter
Godkjent
Nedlastinger
0
Ord
399
Sider
3
Opplastet
4. september 2022
Nyttig?
Du må være registrert og logget inn for å stemme.
Utdrag
7. april 2022
(a)Ikke en partisjon. 5 er ikke i mengden M.
(c)Ikke en partisjon. Den tomme mengden kan ikke være med.
(d)Ikke partisjon. Snittet mellom to forskjellige mengdene er ikke tomt.
Nemlig 3 er med to ganger.
(f)Ja, e er en forfining av b.
det alltid slik at m er et negativt heltall.
kommer alltid m til å være et negativt heltatt.
er har samme fortegn som m, må også j være et postivt heltall. Det
samme gjelder for negative heltall.
(b)Heltallene tilZunder relasjonen⊕er to.
Tilsvarende dokumenter
Oblig 5 IN1150
IN1150 Logiske metoder - 21. august 2022
Oblig 5 i IN1150 Espen Noreng 17. mars 2022 Oppgave 1 (a){⟨a, a⟩,⟨a, b⟩,⟨b, d⟩,⟨b, b⟩,⟨c, c⟩,⟨d, d⟩} (b){⟨a, a⟩,⟨a, b⟩,⟨b, d⟩,⟨b, a⟩,⟨d, b⟩} (c){⟨a,...
Oblig 6 IN1150
IN1150 Logiske metoder - 21. august 2022
Oblig 6 i IN1150 Espen Noreng 17. mars 2022 Oppgave 1 (a)Basissteget består av å vise at f(0) = 9·0 er sann. Ved definisjon av f er f(0) = 0, og 9·0...
Oblig 8 IN1150
IN1150 Logiske metoder - 21. august 2022
Oblig 8 i IN1150 Espen Noreng 31. mars 2022 Oppgave 1 (a)Sann (b)Sann (c)Usann (d)Sann (e)Usann (f)San... 2 (a)Oppfyllbar, gyldig (b)Oppfyllbar, gyl...
Oblig 7 IN1150
IN1150 Logiske metoder - 21. august 2022
Oblig 7 i IN1150 Espen Noreng 24. mars 2022 Oppgave 1 (a)Ikke (b)Ikke (c)Førsteordens... term (d)Førsteordens term (e)Ikke (f)Førsteordens... term (...
Oblig 11 IN1150
IN1150 Logiske metoder - 21. august 2022
Oblig 11 i IN1150 Espen Noreng 28. april 2022 Oppgave 1 (a) a c e b d (b)Nei. Kantene{a, e},{a, d},{c, b}og{b, d}mangler for at G skal være en kompl...
Oblig 2 IN1150
IN1150 Logiske metoder - 21. august 2022
Oblig 2 i IN1150 Espen Noreng 10. februar 2022 Oppgave 1 (a) P¬¬P−→P 1111 0 010 (b) P... Q ¬(P−→(Q∨P)) 1 101 1 1 1 1 0 1 00 1 1 1 ...
Oblig 12 IN1150
IN1150 Logiske metoder - 21. august 2022
Oblig 12 i IN1150 Espen Noreng 5. mai 2022 Oppgave 1 (a)01 ∗ (b)11(01) ∗ (c)1 ∗ 01 ∗ (d)0 ∗ 00(0|1) ∗... 2 A B C D ⊆ ⊆ ⊆ ⊆ = Oppgave... 3 (a)S⇒aSa⇒a...
Oblig 3 IN1150
IN1150 Logiske metoder - 21. august 2022
Oblig 3 i IN1150 Espen Noreng 16. februar 2022 Oppgave 1 (a)Usann. Tallet 57 er et oddetall, større enn 55 og ikke et primtall. (b)Sann. En kontradi...
Oblig 1 IN1150
IN1150 Logiske metoder - 21. august 2022
Oblig 1 i IN1150 Espen Noreng 27. August 2021 Oppgave 1 (a){0, 1, 2, 3, 4, 5, 6, 7} (b){0, 1, 2, 3, 4} (c){5, 6, 7} (d)∅ (e){6} (f)∅ (g)∅ (h){0,... ...