*** Matteuppgiftstråden [För de som inte vill skapa en egen tråd] ***

En kurs i envariabelanalys på universitetet borde ta upp det.

bump?

Jag tycker INTE att det här känns rätt. Är inte meningen att visa att A inte är avgörbar eftersom dess avgörbarhet är ekvivalent med haltingproblemet?

Ett första steg tycker jag måste vara att definiera begreppet "skadlig kod". Därefter tar man ett godtyckligt program och skapar ett nytt program som terminerar om och endast om det första programmet är skadlig kod.

Nr1 förstår jag inte riktigt. Som jag tolkar den är den inte sann.

Nr2:
Tag godtyckligt a.
Genom dubbel ∀-elimination av premissen får vi Raa → ¬Raa (A).
Antag Raa.
Då får vi ¬Raa (B) genom →-elimination ur (A) och antagandet.
Genom ytterligare en →-elimination, nu ur (B) och antagandet får vi falsum.
Alltså leder antagandet till falsum.
Genom →-introduktion (varvid antagandet elimineras) kan vi dra slutsatsen ¬Raa.
Då ¬Raa har härletts för godtyckligt a, gäller ∀x¬Rxx genom ∀-introduktion.

Skadlig kod-mängden A tänker jag inte definera mer ingående än att det är en oändlig delmängd av U. Låt B vara mängden program som terminerar. Om vi då gör restriktionen att skadlig kod terminerar någon gång (<=) så har vi att B' ∩ A = ∅. Sedan gör vi precis det jag beskrev tidigare.

Tag vårt orakel som bestämmer A. Med modifikationen har vi skapat ett orakel även för B.

Problemet är att B' ∩ A = ∅ inte nödvändigtvis är sant. Att skapa ett program med enligt din beskrivning <=> skulle kräva tillgång till ett orakel för B och då faller hela vårt motsägelsebevis.

År 2002 var johan lika många år som summan av siffrorna i hans födelseår. Vilket år fyller johan 48 år? Visa gärna uträkningen så jag vet hur jag ska bära mig åt...

Johan fyller 48 år 2030, eftersom han föddes 1982. 1+9+8+2 = 20 och mellan 1982-2002 är det också 20 år. 1982+48 = 2030

Tack snälla!

Rita i det komplexa talplanet
|z+1+i|=2 => r:2 centrum: -1-i
1_<|z+1|_<2 => r:1; 2 centrum -1

Varför läggs centrum negativt? Radien köper jag att den blir 2 resp 1. Men förstår inte varför det är minus. Skulle någon kunna bevisa med beräkning?

Avståndet mellan punkterna x och y är ju |x - y|, så om man skriver |z - z_0| = r talar man om alla z som ligger på avståndet r från z_0 och dessa z utgör ju en cirkel med radien r, centrerad kring z_0.

Måste fräsha upp minnet så behöver hjälp med en lätt uppgift!
Beräkna arean av det färgade området. Överfunktion: y = √x, underfunktion: y = x undre gräns = 0, övre gräns = okänd.

Börja med att rita upp kurvorna lite ungefärligt (eller med dator) så att du ser vad det går ut på. Sedan kan du beräkna den övre gränsen, dvs där x = √x.