Când vă întoarceți la compilarea condițiilor de căutare în bazele de date, elevii intră adesea în "capcanele de semnificație naturală". De exemplu, considerăm baza de date LIBRARE cu informații despre cărți într-o bibliotecă personală, care are următoarea structură:
Este necesar să se obțină informații despre toate cărțile lui Tolstoi și Turgenev. Majoritatea absolută a studenților scrie această condiție după cum urmează:
Este util să realizați anumite sarcini formale cu elevii pentru a procesa condiții complexe de căutare. De exemplu, trageți pe tablă următorul tabel:
Sugerați o serie de sarcini ale acestui conținut: dat fiind o condiție de căutare sub forma unei expresii logice; Determinați care înregistrări sunt satisfăcute.
3) A = 1 sau B = 2 R1, R2, R3, R5 4) A = 1 sau B = 2 sau C = 3 R1, R2, R3, R4, 3 R1
6) nu A = 1 R3, R4, R5
Pe exemplul aceluiași tabel, se elaborează problema vechimii operațiunilor și a procedurii de implementare a acestora. Spunând că operațiile logice în decrementarea precedenței sunt localizate după cum urmează: NOT, AND, OR, dați exemple de expresii logice care conțin diferite operații.
7) A = 1 și B = 2 sau C = 3 R1, R4, R5 8) A = 1 sau B = 2 și C = 3 R1, R2, R5
9) nu A = 1 sau B = 2 și C = 3 R1, R3, R4, R5
10) (A = 1 sau B = 2) și C = 3 R1, R5
După rezolvarea unor astfel de probleme formale, trebuie să revenim din nou la problemele de conținut. Acum, elevii vor avea mult mai mult succes în formalizarea condițiilor complexe de căutare în expresii logice. De exemplu, este necesar să selectați toate cărțile lui Belyaev și Tolstoy, situate de la raftul a 2-a până la a 5-a. Expresia logică este scrisă ca:
Matematică logică în foi de calcul. Următoarea întâlnire a studenților cu logică matematică în cursul de bază are loc la studierea meselor electronice (ET). Limbajul foilor de calcul poate fi interpretat ca un fel de limbaj de programare tabular pentru rezolvarea problemelor de calcul. Mai mult, algoritmii computaționali implementați pe ET pot avea nu numai o structură liniară, ci și o ramificare și chiar ciclică (cicluri de iterație). Ramificarea în ET este realizată printr-o funcție condiționată. Forma de înregistrare a unei funcții condiționate depinde în mare măsură de tipul procesorului de masă.
Dacă o funcție condițională este introdusă în celulă, rezultatul calculului acesteia, adică această valoare sau valoarea respectivă, este afișat pe ecran, în funcție de condiția specificată de expresia logică. De obicei, funcția condiționată are următoarea structură:
IF (condiție, acțiune1, acțiune2).
Aici "condiția" este o expresie logică. Dacă condiția este adevărată, atunci acțiunea 1 este executată, altfel - acțiunea2.
O expresie logică simplă este o relație (în același sens în care acest concept este utilizat în bazele de date). O expresie logică complexă conține operații logice.
expresii logice caracteristică pentru foi de calcul este faptul că operațiile logice sunt utilizate în funcție de: primul nume înregistrat operațiune logică: AND, OR, NOT (AND, OR, NOT), urmat în paranteze recalculeaza operanzi logice. De exemplu, o logică de expresie tensiune
corespunde unui sistem matematic de inegalități: 0 <А1 <1.
Formulele logice pot fi plasate în celulele EbS prin ele însele, fără utilizarea funcției condițional. În acest caz, dat clorhidric celula va afecta valoarea logică TRUE sau FALSE. De exemplu, în cazul în care celula C6 este stocat scor pe participant brane examenele de admitere și o notă de trecere în Institutul este de 14, apoi plasarea formula D6 celulă: C6> = 14, obținem în această celulă TRUE dacă participantul M-am dus la colegiu, și fals - în caz contrar.
Logica matematică în programare. În majoritatea limbajelor de programare moderne de nivel înalt (JPL) moderne, există un tip de date logic, sunt implementate operații logice de bază. Utilizarea acestor instrumente vă permite să rezolvați probleme complexe logice pe computer, să simulați logica gândirii umane în sistemele software de inteligență artificială. În programele de rezolvare a problemelor cu conținut matematic, expresiile logice sunt cel mai adesea folosite pentru a descrie sistemele de inegalități (relații). Rezolvarea problemelor de acest tip, elevii trebuie să arate mai întâi cunoștințele de matematică și apoi - abilitatea de a schimba relațiile matematice în limbajul logic și de a formaliza soluția problemei în limba programării.
Soluția. Domeniul în cauză constă din două părți, fiecare dintre acestea fiind descris de un sistem de inegalități.
Prima parte: x 0; x 2 + y 2 9; y-x-3
Partea 2: x 0; x 2 + y 2 25.
Un punct cu coordonate (x, y) se află în zona umbrită dacă aparține părții 1 sau 2.
Programul introduce coordonatele punctului, calculează expresia logică care determină apartenența punctului regiunii și afișează valoarea logică rezultată pe ecran.
var X, Y: adevărat; L: boolean;
scrie ('Tip X:'); readln (X);
scrieți ('Enter Y:'); readln (Y);
L: = (X <= 0)and (Sqr(X)+ Sqr(Y) <= 9) and (Y>= -X-3)
sau (X> = 0) și (Sqr (X) + Sqr (Y)<= 25)
writeln ("Punctul se află în domeniul dat?", L)
În programele de natură computațională, expresiile logice, ca regulă, sunt folosite în partea condițională a operatorilor de ramificație și buclă.