În prezent, utilizarea tehnologiei informației devine o parte integrantă a procesului educațional. Calculatorul îndeplinește pe deplin cerințele didactice și vă permite să adaptați procesul de învățare la caracteristicile individuale ale elevilor.
Tehnologiile informatice sunt introduse în mod activ în procesul de predare și diagnoză, fac posibilă simplificarea procesului de învățare și aprecierea cunoștințelor studenților.
În lucrarea de față, se are în vedere aplicarea procesorului de calcul tabelar MS Excel în studiul bazelor logice.
Există multe probleme în care datele sursă și rezultatele trebuie să fie prezentate în formă tabelară. Tabelele electronice reprezintă un instrument convenabil pentru automatizarea acestor calcule. Soluțiile multor sarcini computerizate pe calculator, care ar fi putut fi implementate anterior numai prin programare, au devenit posibile pentru a fi realizate. Folosirea formulelor matematice în foile de calcul ne permite să reprezentăm relația dintre diferiții parametri ai unui sistem real. Proprietatea principală a foilor de calcul este redactarea instantanee a formulelor atunci când se schimbă valorile operanzilor incluse în ele. Datorită acestei proprietăți, tabelul este un instrument convenabil pentru organizarea unui experiment numeric:- selectarea parametrilor,
- prezice comportamentul sistemului simulat,
- analiza dependențelor,
- planificare.
Foaia de calcul furnizează un mod grafic, care permite reprezentarea grafică (sub formă de grafice, diagrame) informații numerice conținute în tabel.
În procesul de învățare algebra logicii, studenții sunt introduse la concepte cum ar fi: spune, tabele de adevăr, funcții logice și operații logice. Logica algebră este o secțiune logică matematică, în care metodele studiate de dovedire a (1) sau false (0) structuri logice complexe compuse din propoziții simple, bazate pe adevărul sau falsitatea acesteia din urmă. Pentru a consolida cunoștințele dobândite, este posibilă utilizarea foii de calcul MS Excel și a funcțiilor sale.
Pentru a implementa funcțiile algebrei booleene, se folosesc funcțiile logice: IF, AND, OR, NOT, TRUE și FALSE. Atunci când se lucrează cu funcții în MS Excel, este folosit vrăjitorul de funcții (Insert Function ...), care afișează numele funcției, descrierea și argumentele acesteia.
Figura 1. Fereastra expert funcții
Inițial, creați un tabel de operații logice de bază:
Figura 2. Tabelul de adevăr al operațiilor logice de bază
Atunci când compilați o tabelă de adevăr, se folosesc următoarele formule:- Inversiune: = IF (A2 = 1; 0; 1);
- Disjuncție: = IF (OR (A2 = 1; B2 = 1); 1; 0);
- Conjuncție: = IF (AND (A2 = 1; B2 = 1); 1; 0);
- Implicare: = IF (AND (A2 = 1; B2 = 0); 0; 1);
- Echivalența: = IF (A2 = B2; 1; 0).
În lucrările ulterioare, acest tabel poate fi folosit de către studenți ca bază pentru îndeplinirea sarcinilor de laborator.
Elevilor li se poate oferi următoarea lucrare.
Sarcina: Construiți un tabel de adevăr pentru formula (A B C) A utilizând MS Excel.
algoritm:- Determinați numărul seturilor de variabile de intrare, utilizând formula: Q = 2 n. unde n este numărul de variabile. Q = 2 3 = 8.
- Introduceți în tabel toate seturile de variabile de intrare:
Figura 3. Date inițiale
- Determinați numărul operațiilor logice și ordinea execuției acestora:
- B
- A B
- A B C
- (A B C) A
- Completați coloanele cu rezultatele operațiilor logice în secvența indicată.
Pentru aceasta, introduceți formula în celula D2: = IF (B2 = 1; 0; 1);
în E2: = IF (AND (A2 = 1; D2 = 1); 1; 0);
în F2: = IF (AND (E2 = 1; C2 = 0); 0; 1);
în G2: = IF (F2 = A2; 1; 0).
Completați restul liniilor copiind formula introdusă.
Figura 4. Rezultatul lucrării
Un procesor de tabel poate fi utilizat pentru a repara nu numai materialul logicii matematice, ci și pentru bazele teoriei probabilității și statisticilor matematice.
Sarcini pentru soluții independente
Determinați cu ajutorul tabelelor de adevăr echivalența formulelor.
Determinați dacă formulele sunt tautologii.