BLOGG

Vad är Barcan Formula?

kan någon snälla hjälpa mig att förklara denna Barcan-formel? (I engelsk översättning och kanske med ett exempel?) (◊ ∃x Fx) ↔ (∃x ◊ Fx) Och om det bara finns ett möjligt tillstånd i världen, skulle det stämma ?? Skulle älska lite förtydligande om detta. Tack! Kommentarer Menar du att använda en dubbelpil? (se en.wikipedia.org/wiki/Barcan_formula ) […]

Fortsätt läsa

Vad är bitbanding?

Jag läser referenshandboken ARM Cortex M3 och begreppen ”bit-band ”,” bit-band region ”och” bit-band alias ”visas. Vad är bit-banding? Kommentarer Jag har tillägnat en github-sida för att förklara vad bitbanding är, hur det fungerar och hur man använder det. Jag tror att det svarar på de flesta frågor om bitbanding, kolla gärna igen det. Detta […]

Fortsätt läsa

Betydelsen av “ au fond ”

Följande mening är från Camus ”The Stranger. Meursault, berättaren, hänvisar till sin tid i fängelse. Je peux dire qu” au fond l ”été a très vite remplacé l ”été. Fråga Fråga 1: Vad betyder au fond där? För fråga 2, se dessa engelska översättningar. Stuart Gilbert: På det hela taget kan jag inte säga att […]

Fortsätt läsa

Varför offra Pegasus?

Spoiler Alert: Säsong 3, avsnitt 4 , Exodus (del 2) Lee Adama trotsar Admiral Adamas order och använder Battlestar Pegasus för att rädda Galactica från viss förstörelse. Galactica och Pegasus är under eld från fyra basstjärnor. Vad var resonemanget bakom att offra Pegasus (i motsats till att offra Galactica)? Galactica är en betydligt äldre Battlestar […]

Fortsätt läsa

Kompatibilitetsproblem med WinEDT. Hur fixar jag det?

Jag har haft kompatibilitetsproblem när jag använder MikTeX med WinEDT på en bärbar dator med Windows 7. Närmare bestämt när jag öppnar vissa .tex-dokument som någon annars har arbetat med en annan dator och redigerare, konstiga tecken visas i filen där de inte borde, t.ex. Â-karaktären förekommer mitt i ”maximalt” så här ”maxi-mamma”. Och när […]

Fortsätt läsa

Vem är farbror Fester?

I Adams Family-filmer känner vi farbror Fester som Fester Adams, Gomez Adams äldre bror. Men jag tittade precis på S2 E1 & E2 i Adams Family TV-program från 60-talet och de har Fester har Morticias farbror. Morticias efternamn var inte Adams förrän hon och Gomez gifte sig. Varför ändrades det så att Fester var Gomez […]

Fortsätt läsa

Vad är ett block i volleyboll?

Vad exakt utgör ett block i volleyboll? Låt oss säga om det är en överpass av motståndarlaget och en blockerare tippar ner det (med två händer) men motståndarlaget returnerar det fortfarande. Är det ett block? Eller även om det inte är en överpass och bara en attack men fortfarande om en blockerare förhindrar att den […]

Fortsätt läsa