Quale valore assumeranno le variabili a e b a seguito dell’esecuzione del seguente modulo di programma? a := 20; b := round(sqrt(a - sqr(2))); se a mod b > 0 allora b := a oppure a := b;
5 20 4 16
A B C D
Dati tre numeri interi "a", "b", "n", con "n" ≠ 0, diciamo che "a" e "b" sono congruenti modulo "n," oppure che a è congruo a b modulo n, se la differenza ("a" − "b") è un multiplo di "n". Se "A" e "B" somo due accoppiamenti massimali, allora |"A"| ≤ 2|"B"| e |"B"| ≤ 2|"A"|. A volte nei comparatori integrati, oltre all'uscita che segnala quando A=B, esistono anche altri terminali che danno un'indicazione di maggioranza e di minoranza, ossia se A>B oppure A
In questo secondo caso, se il bit corrispondente di A è 1 e quello di B è 0, allora concludiamo che A > B.

Questo confronto sequenziale può essere espresso logicamente come:
La variabile "(A > B)" e la variabile "(A < B)" si dicono variabili binarie di output: sono uguali a 1, rispettivamente se "A > B" oppure se A < B. La relazione è così definita:

Prendiamo due variabili proposizionali, A e B, e l'operatore logico OR (V), ottenendo la congiunzione logica "A OR B", se sia A che B sono vere, allora la congiunzione A V B è vera; se sono false A V B è falsa; se A è falsa e B è vera allora A V B è vera e viceversa se B è vera ed A è falsa allora A V B è vera. Si ottiene quindi l'equazione "a"+"b"="a'+b"' oppure a-a'="b'-b". In altre parole, se "a" e "b" sono elementi dell'anello allora "a"×"b"="b"×"a". Dati "a" e "b", si definisce "a"/"b" = "c" se e solo se "a" = "cb" e "b" ≠ 0. Un preordine è totale se per ogni "a", "b" in "P": "a" ≤ "b" oppure "b" ≤ "a". Similarmente, Se "a * b = c * b", allora "a = c". Se "a" e "b" sono coprimi e "bx" ≡ "by" (mod "a"), allora "x" ≡ "y" (mod "a"). Se "A" e "B" sono sottoinsiemi di un semigruppo, allora "AB" denota l'insieme { "ab" | "a" in "A" e "b" in "B" }. A OR B AND NOT C equivale a A|B & ~C oppure a A+B*!C). Certamente se "A" è logicamente equivalente a "B" allora "A "sse" B" è vera. Un ennesimo svantaggio lo si ha nell'operazione di somma tra due numeri, in cui, definiti i due numeri A e B, si procede secondo la seguente tabella:

Esempio di somma tra due numeri relativi in base 2 rappresentati in segno e modulo con 4 bit:

A = 1110 [ -6 in base decimale ]

B = 0010 [ +2 in base decimale ]

Siamo nel caso in cui A < 0 e B > 0 e |A| > |B| (|A| = 0110 e |B| = 0010)

ciò implica che la somma A + B = - (|A| - |B|) = - (0110 - 0010) = - 0100 = 1100 [ -4 in base decimale ] Se per esempio volessimo dimostrare per assurdo che se si prendono due numeri reali "a" e "b" diversi da 0 (ipotesi) allora la loro somma "a" + "b" sarà diversa dalla loro differenza "a" - "b" (tesi) ipotizziamo che la tesi sia sbagliata e quindi che la somma dei due numeri sia uguale alla loro differenza: "a" + "b" = "a" - "b", questo implica che "a" + "b" - "a" = -"b" che a sua volta implica che "b"=-"b" ma questo, nell'insieme dei numeri reali, è vero solo se "b" è uguale a 0 e questo è assurdo perché in contrasto con l'ipotesi che "a" e "b" siano diversi da zero. Se "A" è un sottoinsieme di "B", allora si può anche dire che "B" è un sovrainsieme di "A", che "A" è contenuto in "B", o che "B" contiene "A". Disco 1
Lato A
Lato B
Disco 2
Lato A
Lato B
Lato A
Lato B
Lato A
Lato B Segue immediatamente dalla precedente definizione di eguaglianza di insiemi che, dati due insiemi "A" e "B", "A" = "B" se e solo se "A" ⊆ "B" e "B" ⊆ "A". Se A è un sottoinsieme di B, o uguale a B, allora la probabilità di A è inferiore o uguale alla probabilità di B. Siano "A" = {"a","a","a"} e "B" = {"b","b"}. L'esempio basilare è dato dall'aritmetica modulare: se "n" è un numero naturale positivo, due interi "a" e "b" sono detti congruenti modulo "n" se "a" − "b" è divisibile per "n"; oppure, equivalentemente, se "a" e "b" divisi per "n" danno lo stesso resto. ([0] è ora a + (b + 48), siccome non abbiamo corretto b; questo valore è identico ad (a + b) + 48, che è ciò che vogliamo.) Analogamente si dimostra che "b"² +"c"² − "a"² ≥ 0 e "c"² +"a"² − "b"² ≥ 0. L'espressione "a":"b" è detta rapporto fra (oppure di) "a" e "b" e può essere scritta come "a"/"b" o formula_1. In particolare, "a" ~ "b" se e solo se "b" * "a" ~ "e". Dati tre numeri interi "a", "b", "n", con "n" ≠ 0, diciamo che "a" e "b" sono congruenti modulo "n," oppure che a è congruo a b modulo n, se la differenza ("a" − "b") è un multiplo di "n". Se "A" e "B" somo due accoppiamenti massimali, allora |"A"| ≤ 2|"B"| e |"B"| ≤ 2|"A"|. A volte nei comparatori integrati, oltre all'uscita che segnala quando A=B, esistono anche altri terminali che danno un'indicazione di maggioranza e di minoranza, ossia se A>B oppure A
In questo secondo caso, se il bit corrispondente di A è 1 e quello di B è 0, allora concludiamo che A > B.

Questo confronto sequenziale può essere espresso logicamente come:
La variabile "(A > B)" e la variabile "(A < B)" si dicono variabili binarie di output: sono uguali a 1, rispettivamente se "A > B" oppure se A < B. La relazione è così definita:

Prendiamo due variabili proposizionali, A e B, e l'operatore logico OR (V), ottenendo la congiunzione logica "A OR B", se sia A che B sono vere, allora la congiunzione A V B è vera; se sono false A V B è falsa; se A è falsa e B è vera allora A V B è vera e viceversa se B è vera ed A è falsa allora A V B è vera. Si ottiene quindi l'equazione "a"+"b"="a'+b"' oppure a-a'="b'-b". In altre parole, se "a" e "b" sono elementi dell'anello allora "a"×"b"="b"×"a". Dati "a" e "b", si definisce "a"/"b" = "c" se e solo se "a" = "cb" e "b" ≠ 0. Un preordine è totale se per ogni "a", "b" in "P": "a" ≤ "b" oppure "b" ≤ "a". Similarmente, Se "a * b = c * b", allora "a = c". Se "a" e "b" sono coprimi e "bx" ≡ "by" (mod "a"), allora "x" ≡ "y" (mod "a"). Se "A" e "B" sono sottoinsiemi di un semigruppo, allora "AB" denota l'insieme { "ab" | "a" in "A" e "b" in "B" }. A OR B AND NOT C equivale a A|B & ~C oppure a A+B*!C). Certamente se "A" è logicamente equivalente a "B" allora "A "sse" B" è vera. Un ennesimo svantaggio lo si ha nell'operazione di somma tra due numeri, in cui, definiti i due numeri A e B, si procede secondo la seguente tabella:

Esempio di somma tra due numeri relativi in base 2 rappresentati in segno e modulo con 4 bit:

A = 1110 [ -6 in base decimale ]

B = 0010 [ +2 in base decimale ]

Siamo nel caso in cui A < 0 e B > 0 e |A| > |B| (|A| = 0110 e |B| = 0010)

ciò implica che la somma A + B = - (|A| - |B|) = - (0110 - 0010) = - 0100 = 1100 [ -4 in base decimale ] Se per esempio volessimo dimostrare per assurdo che se si prendono due numeri reali "a" e "b" diversi da 0 (ipotesi) allora la loro somma "a" + "b" sarà diversa dalla loro differenza "a" - "b" (tesi) ipotizziamo che la tesi sia sbagliata e quindi che la somma dei due numeri sia uguale alla loro differenza: "a" + "b" = "a" - "b", questo implica che "a" + "b" - "a" = -"b" che a sua volta implica che "b"=-"b" ma questo, nell'insieme dei numeri reali, è vero solo se "b" è uguale a 0 e questo è assurdo perché in contrasto con l'ipotesi che "a" e "b" siano diversi da zero. Se "A" è un sottoinsieme di "B", allora si può anche dire che "B" è un sovrainsieme di "A", che "A" è contenuto in "B", o che "B" contiene "A". Disco 1
Lato A
Lato B
Disco 2
Lato A
Lato B
Lato A
Lato B
Lato A
Lato B Segue immediatamente dalla precedente definizione di eguaglianza di insiemi che, dati due insiemi "A" e "B", "A" = "B" se e solo se "A" ⊆ "B" e "B" ⊆ "A". Se A è un sottoinsieme di B, o uguale a B, allora la probabilità di A è inferiore o uguale alla probabilità di B. Siano "A" = {"a","a","a"} e "B" = {"b","b"}. L'esempio basilare è dato dall'aritmetica modulare: se "n" è un numero naturale positivo, due interi "a" e "b" sono detti congruenti modulo "n" se "a" − "b" è divisibile per "n"; oppure, equivalentemente, se "a" e "b" divisi per "n" danno lo stesso resto. ([0] è ora a + (b + 48), siccome non abbiamo corretto b; questo valore è identico ad (a + b) + 48, che è ciò che vogliamo.) Analogamente si dimostra che "b"² +"c"² − "a"² ≥ 0 e "c"² +"a"² − "b"² ≥ 0. CoRoT-2 b

CoRoT-2 b, precedentemente designato CoRoT-Exo-2 b, e a volte erroneamente citato come COROT-2 B o COROT-Exo-2 b, è un pianeta extrasolare gassoso scoperto il 20 dicembre 2007 dal satellite francese COROT. L'espressione "a":"b" è detta rapporto fra (oppure di) "a" e "b" e può essere scritta come "a"/"b" o formula_1. Dati tre numeri interi "a", "b", "n", con "n" ≠ 0, diciamo che "a" e "b" sono congruenti modulo "n," oppure che a è congruo a b modulo n, se la differenza ("a" − "b") è un multiplo di "n". Se "A" e "B" somo due accoppiamenti massimali, allora |"A"| ≤ 2|"B"| e |"B"| ≤ 2|"A"|. A volte nei comparatori integrati, oltre all'uscita che segnala quando A=B, esistono anche altri terminali che danno un'indicazione di maggioranza e di minoranza, ossia se A>B oppure A
In questo secondo caso, se il bit corrispondente di A è 1 e quello di B è 0, allora concludiamo che A > B.

Questo confronto sequenziale può essere espresso logicamente come:
La variabile "(A > B)" e la variabile "(A < B)" si dicono variabili binarie di output: sono uguali a 1, rispettivamente se "A > B" oppure se A < B. La relazione è così definita:

Prendiamo due variabili proposizionali, A e B, e l'operatore logico OR (V), ottenendo la congiunzione logica "A OR B", se sia A che B sono vere, allora la congiunzione A V B è vera; se sono false A V B è falsa; se A è falsa e B è vera allora A V B è vera e viceversa se B è vera ed A è falsa allora A V B è vera. Si ottiene quindi l'equazione "a"+"b"="a'+b"' oppure a-a'="b'-b". In altre parole, se "a" e "b" sono elementi dell'anello allora "a"×"b"="b"×"a". Dati "a" e "b", si definisce "a"/"b" = "c" se e solo se "a" = "cb" e "b" ≠ 0. Un preordine è totale se per ogni "a", "b" in "P": "a" ≤ "b" oppure "b" ≤ "a". Un ennesimo svantaggio lo si ha nell'operazione di somma tra due numeri, in cui, definiti i due numeri A e B, si procede secondo la seguente tabella:

Esempio di somma tra due numeri relativi in base 2 rappresentati in segno e modulo con 4 bit:

A = 1110 [ -6 in base decimale ]

B = 0010 [ +2 in base decimale ]

Siamo nel caso in cui A < 0 e B > 0 e |A| > |B| (|A| = 0110 e |B| = 0010)

ciò implica che la somma A + B = - (|A| - |B|) = - (0110 - 0010) = - 0100 = 1100 [ -4 in base decimale ] Similarmente, Se "a * b = c * b", allora "a = c". Se "a" e "b" sono coprimi e "bx" ≡ "by" (mod "a"), allora "x" ≡ "y" (mod "a"). Se "A" e "B" sono sottoinsiemi di un semigruppo, allora "AB" denota l'insieme { "ab" | "a" in "A" e "b" in "B" }. A OR B AND NOT C equivale a A|B & ~C oppure a A+B*!C). Certamente se "A" è logicamente equivalente a "B" allora "A "sse" B" è vera. Se per esempio volessimo dimostrare per assurdo che se si prendono due numeri reali "a" e "b" diversi da 0 (ipotesi) allora la loro somma "a" + "b" sarà diversa dalla loro differenza "a" - "b" (tesi) ipotizziamo che la tesi sia sbagliata e quindi che la somma dei due numeri sia uguale alla loro differenza: "a" + "b" = "a" - "b", questo implica che "a" + "b" - "a" = -"b" che a sua volta implica che "b"=-"b" ma questo, nell'insieme dei numeri reali, è vero solo se "b" è uguale a 0 e questo è assurdo perché in contrasto con l'ipotesi che "a" e "b" siano diversi da zero. Se "A" è un sottoinsieme di "B", allora si può anche dire che "B" è un sovrainsieme di "A", che "A" è contenuto in "B", o che "B" contiene "A". Ossia, le quote di "a-b" (anche scritto come "a/b") rappresentano le probabilità relative di "b/(a+b)", per esempio 6-4 (6 a 4) è 4/(6+4) = 4/10 = 0,4 (o 40%). Disco 1
Lato A
Lato B
Disco 2
Lato A
Lato B
Lato A
Lato B
Lato A
Lato B Segue immediatamente dalla precedente definizione di eguaglianza di insiemi che, dati due insiemi "A" e "B", "A" = "B" se e solo se "A" ⊆ "B" e "B" ⊆ "A". Se A è un sottoinsieme di B, o uguale a B, allora la probabilità di A è inferiore o uguale alla probabilità di B. Siano "A" = {"a","a","a"} e "B" = {"b","b"}. La cubocicloide, poiché ipocicloide è generata dalla rotazione di una circonferenza di raggio b all'interno di una di raggio a, con a/b=4 oppure a/b=4/3. L'esempio basilare è dato dall'aritmetica modulare: se "n" è un numero naturale positivo, due interi "a" e "b" sono detti congruenti modulo "n" se "a" − "b" è divisibile per "n"; oppure, equivalentemente, se "a" e "b" divisi per "n" danno lo stesso resto. ([0] è ora a + (b + 48), siccome non abbiamo corretto b; questo valore è identico ad (a + b) + 48, che è ciò che vogliamo.) Analogamente si dimostra che "b"² +"c"² − "a"² ≥ 0 e "c"² +"a"² − "b"² ≥ 0. Dati tre numeri interi "a", "b", "n", con "n" ≠ 0, diciamo che "a" e "b" sono congruenti modulo "n," oppure che a è congruo a b modulo n, se la differenza ("a" − "b") è un multiplo di "n". Se "A" e "B" somo due accoppiamenti massimali, allora |"A"| ≤ 2|"B"| e |"B"| ≤ 2|"A"|. A volte nei comparatori integrati, oltre all'uscita che segnala quando A=B, esistono anche altri terminali che danno un'indicazione di maggioranza e di minoranza, ossia se A>B oppure A
In questo secondo caso, se il bit corrispondente di A è 1 e quello di B è 0, allora concludiamo che A > B.

Questo confronto sequenziale può essere espresso logicamente come:
La variabile "(A > B)" e la variabile "(A < B)" si dicono variabili binarie di output: sono uguali a 1, rispettivamente se "A > B" oppure se A < B. La relazione è così definita:

Prendiamo due variabili proposizionali, A e B, e l'operatore logico OR (V), ottenendo la congiunzione logica "A OR B", se sia A che B sono vere, allora la congiunzione A V B è vera; se sono false A V B è falsa; se A è falsa e B è vera allora A V B è vera e viceversa se B è vera ed A è falsa allora A V B è vera. Si ottiene quindi l'equazione "a"+"b"="a'+b"' oppure a-a'="b'-b". In altre parole, se "a" e "b" sono elementi dell'anello allora "a"×"b"="b"×"a". Dati "a" e "b", si definisce "a"/"b" = "c" se e solo se "a" = "cb" e "b" ≠ 0. Un preordine è totale se per ogni "a", "b" in "P": "a" ≤ "b" oppure "b" ≤ "a". Similarmente, Se "a * b = c * b", allora "a = c". Se "a" e "b" sono coprimi e "bx" ≡ "by" (mod "a"), allora "x" ≡ "y" (mod "a"). Se "A" e "B" sono sottoinsiemi di un semigruppo, allora "AB" denota l'insieme { "ab" | "a" in "A" e "b" in "B" }. A OR B AND NOT C equivale a A|B & ~C oppure a A+B*!C). Certamente se "A" è logicamente equivalente a "B" allora "A "sse" B" è vera. Un ennesimo svantaggio lo si ha nell'operazione di somma tra due numeri, in cui, definiti i due numeri A e B, si procede secondo la seguente tabella:

Esempio di somma tra due numeri relativi in base 2 rappresentati in segno e modulo con 4 bit:

A = 1110 [ -6 in base decimale ]

B = 0010 [ +2 in base decimale ]

Siamo nel caso in cui A < 0 e B > 0 e |A| > |B| (|A| = 0110 e |B| = 0010)

ciò implica che la somma A + B = - (|A| - |B|) = - (0110 - 0010) = - 0100 = 1100 [ -4 in base decimale ] Se per esempio volessimo dimostrare per assurdo che se si prendono due numeri reali "a" e "b" diversi da 0 (ipotesi) allora la loro somma "a" + "b" sarà diversa dalla loro differenza "a" - "b" (tesi) ipotizziamo che la tesi sia sbagliata e quindi che la somma dei due numeri sia uguale alla loro differenza: "a" + "b" = "a" - "b", questo implica che "a" + "b" - "a" = -"b" che a sua volta implica che "b"=-"b" ma questo, nell'insieme dei numeri reali, è vero solo se "b" è uguale a 0 e questo è assurdo perché in contrasto con l'ipotesi che "a" e "b" siano diversi da zero. Se "A" è un sottoinsieme di "B", allora si può anche dire che "B" è un sovrainsieme di "A", che "A" è contenuto in "B", o che "B" contiene "A". Disco 1
Lato A
Lato B
Disco 2
Lato A
Lato B
Lato A
Lato B
Lato A
Lato B Segue immediatamente dalla precedente definizione di eguaglianza di insiemi che, dati due insiemi "A" e "B", "A" = "B" se e solo se "A" ⊆ "B" e "B" ⊆ "A". Se A è un sottoinsieme di B, o uguale a B, allora la probabilità di A è inferiore o uguale alla probabilità di B. Siano "A" = {"a","a","a"} e "B" = {"b","b"}. L'esempio basilare è dato dall'aritmetica modulare: se "n" è un numero naturale positivo, due interi "a" e "b" sono detti congruenti modulo "n" se "a" − "b" è divisibile per "n"; oppure, equivalentemente, se "a" e "b" divisi per "n" danno lo stesso resto. ([0] è ora a + (b + 48), siccome non abbiamo corretto b; questo valore è identico ad (a + b) + 48, che è ciò che vogliamo.) Analogamente si dimostra che "b"² +"c"² − "a"² ≥ 0 e "c"² +"a"² − "b"² ≥ 0. L'espressione "a":"b" è detta rapporto fra (oppure di) "a" e "b" e può essere scritta come "a"/"b" o formula_1. In particolare, "a" ~ "b" se e solo se "b" * "a" ~ "e".