poate cineva să mă ajute să-mi explice această formulă Barcan? (În traducere în limba engleză și poate cu un exemplu?) (◊ ∃x Fx) ↔ (∃x ◊ Fx) Și dacă există o singură stare posibilă a lumii, ar fi valabil ?? Mi-ar plăcea unele clarificări în acest sens. Mulțumesc! Comentarii Vrei să folosești o săgeată dublă? […]

Închis . Această întrebare este bazată pe opinie . În prezent, nu acceptă răspunsuri. Comentarii Răspuns scurt: nu ' nu vă obișnuiți, dar voi ' e bine, probabil. Cum se poate

Caut o listă a tuturor creaturilor legendare cu numărul de culori în identitatea lor de culoare egal sau mai mare de patru. În Gatherer pot obține doar o listă folosind culorile mana din costul cărților. De exemplu: vrăji WUBRG . Aș aprecia cu adevărat dacă cineva mă poate ajuta cu acest lucru. Răspuns Ca motor […]

Citesc manualul de referință ARM Cortex M3 și conceptele „bandă de biți” „,” regiunea de bandă de biți „și” alias de bandă de biți „apar. Ce este bandarea de biți? Comentarii Am dedicat o pagină github pentru a explica ce este banda de biți, cum funcționează și cum să o utilizați. Cred că răspunde la […]

Următoarea propoziție este din Străinul lui Camus. Meursault, naratorul, se referă la timpul petrecut în închisoare. Je peux dire qu „au fond l” été a très vite remplacé l „été. Întrebare Întrebarea 1: Ce înseamnă au fond acolo? Pentru întrebarea 2, consultați aceste traduceri în limba engleză. Stuart Gilbert: În ansamblu, nu pot să spun […]

Alertă spoiler: Sezonul 3, episodul 4 , Exod (Partea a 2-a) Lee Adama sfidează ordinele amiralului Adama și folosește Battlestar Pegasus pentru a salva Galactica de la anumite distrugeri. Galactica și Pegasus sunt sub focul a patru Basestars. Care a fost raționamentul din spatele sacrificării lui Pegas (spre deosebire de sacrificarea lui Galactica)? Galactica este […]

Am avut probleme de compatibilitate atunci când folosesc MikTeX cu WinEDT pe un laptop Windows 7. Mai ales, când deschid anumite documente .tex pe care cineva altfel a lucrat la un alt computer și editor, în fișier apar caractere ciudate unde nu ar trebui, de ex caracterul  care apare în mijlocul „maximului” ca acest […]

În filmele Adams Family, îl cunoaștem pe Uncle Fester drept Fester Adams, fratele mai mare al lui Gomez Adams. Dar, tocmai m-am uitat la S2 E1 & E2 al emisiunii TV Adams Family din anii 60 și au unchiul lui Fester are Morticia. Numele de familie al lui Morticia nu a fost Adams până când […]

Ce constituie exact un bloc în volei? Să spunem dacă este un pasaj superior de către echipa adversă și un blocant îl dă jos (cu două mâini), dar echipa adversă o returnează. Este un bloc? Sau chiar dacă nu este un pasaj și doar un atac, dar totuși dacă un blocant îl împiedică să vină […]

Folosesc RegEx Buddy pentru a prototipa și a depana expresiile mele regulate. RegEx Buddy îmi permite să aleg între mai multe tipuri diferite de motoare de expresie regulată (.NET, Java, Perl, GNU BRE, GNU ERE, POSIX, BRE, POSIX ERE etc.). Ce face motorul de expresie regulată bash use (de exemplu, în instrucțiunile if și case)? […]