Acest subiect aparține secțiunii:
Uniunea seturilor A și B este un set format din toate acestea și numai acele elemente care aparțin cel puțin unul dintre seturile A. Peresecheniemmnozhestv A și B este setul format din aceia și numai acele elemente care aparțin.
Ce vom face cu materialul:
Toate subiectele din această secțiune:
Teoria seturilor.
Setul S este unificarea obiectelor, care se deosebesc în mod clar de gândirea sau de intuiția noastră. Aceste obiecte sunt numite elemente
Proprietățile subseturilor.
1. Reflectivitatea. Setul A este un subset al setului A:
Algebra teoriei seturilor.
Pentru toate seturile A, B și C sunt îndeplinite următoarele identități: 1. Legea comutativă
Nucul.
O tuplă este un set ordonat de elemente. Ticheta se caracterizează prin elementele și ordinea de amplasare a acestora. Elementele unei tuple sunt numite componente.
Grafice și proprietăți grafice
Un grafic este un set de perechi. Graficele pot fi specificate. 1. prin transfer:
Conformitatea.
Un triplet este numit un meci. În acest caz,
Relația.
O relație este o pereche de formă astfel încât ΦÍM
Tranzitivitate.
Se spune că o relație este tranzitivă dacă pentru toate x este îndeplinită următoarea condiție: xjy și yjz Þ xjz sau Φ
Formule de echivalență.
1) Comutativitate АVВ º ВVА АВ º ВА 2) Asociativitate АВ (ВВС) º (АВВ) VС А (ВС) º (АВ) C
Diferite forme de reprezentare a declarațiilor
Un litera este un element al instrucțiunii x sau negarea sa. O disjuncție elementară este o expresie a următoarei forme:
Aplicarea logicii matematice.
Cu ajutorul algebrei logice este posibil: · rezolvarea problemelor logice; · Implementarea dispozitivelor tehnice. Folosind algebra logică m
Metoda lui Quine.
Algoritmul metodei Quine include următorii pași: 1. Orice formulă
Metodă de minimizare a hărților.
Algoritmul metodei de minimizare a hărții cuprinde următoarele etape: 1. Orice formulă este aplicată CDNF. 2. Se compilează un tabel cu toate combinațiile posibile de variabile. 3. Din
Metodă de minimizare cu ajutorul hărților Weich.
Algoritmul metodei hărții Weich include următoarele etape: 1. Orice formulă este aplicată CDNF. 2. Desenați o hartă a lui Veich. Harta Veitch este o tabelă a tuturor posibilelor
Funcțiile booleene și proprietățile acestora.
Funcția Boolean este o funcție a variabilelor n care ia valoarea 1 sau 0, iar argumentele ei iau și valoarea 1 sau 0. Boolean fu
Completitudine funcțională. Teorema postului.
Un set funcțional logic este un set de funcții care permit descrierea oricărei funcții a logicii matematice folosind funcțiile unui set dat
Logica este un predicat.
Un predicat este o afirmație complexă în care argumentele iau o valoare și
Matricea incidenței
Matricea de incidență este matricea vârfurilor și a arcurilor care le aparțin. Arcul este incident spre vârf, dacă acest arc emană sau intră în vârful dat
Matricea de contiguitate
Arcurile adiacente sunt arce care intră în contact cu un vârf. Vârfurile adiacente sunt vârfuri care provoacă un singur arc. Matricea de adjunct -
Graficul Euler.
Un lanț Euler este un lanț care trece prin toate marginile graficului. Ciclul Eulerian este începutul și sfârșitul lanțului Eulerian
Setul de stabilitate internă a graficului
Setul de stabilitate internă a unui grafic este un set de noduri neadiacente. Să se dea un grafic
Setul de stabilitate exterioară a graficului
Un set de stabilitate externă este un set de noduri pentru care este îndeplinită una dintre următoarele reguli: 1). Orice vârf este inclus în acest set
Setul de căi din grafic
Din matricea de adjuvantă, putem determina câte căi diferite există între vârfurile i și e ale lungimii în k
Algoritmul frontal al valurilor. Găsiți calea minimă din grafic.
Una dintre cele mai frecvente probleme din teoria grafurilor este problema găsirii unei căi minime într-un grafic. Considerăm câteva proprietăți ale căilor minime 1. Orice
Forma paralelă de grafuri
Un grafic care nu are contururi poate fi reprezentat într-o formă paralelă. O formă de linie paralelă este un fel de grafic cu nivelul zero superior
Algoritm pentru reducerea graficului la o formă paralelă.
1. Se construiește matricea de adiacentă a graficului. 2. Matricea de adjuvantitate este privită în căutarea de coloane zero. Vârfurile la care corespund coloanele zero sunt plasate în nivelul zero.
Copaci și păduri
Separate se numesc noduri pentru care nu există nici o cale care leagă aceste vârfuri. Nu sunt separate vârfurile dintre care creatura
Algoritmul de obținere a unui arbore dintr-un grafic
1. Selectați orice vârf. Contorul i se presupune a fi 1 (i = 1). 2. Dacă i = k, atunci arborele este construit. 3. Dacă i ¹ k, atunci este selectat
TEORIA ALGORITMELOR
Un algoritm este o rețetă exactă și ușor de înțeles despre ce acțiuni și în ce ordine ar trebui să fie efectuate pentru a rezolva orice problemă dintr-o clasă de sarcini similare.
Proiecția funcției
(4.3) Reguli pentru transformarea funcțiilor 1. Regula
Mașină Turing
Dacă este cunoscut un algoritm pentru rezolvarea unei anumite probleme de masă, atunci pentru implementarea acestuia este necesar doar să se implementeze cu strictețe prescripțiile acestui algoritm. Automatismul necesar la implementarea algoritmului
Algoritmi normali Markov
Algoritmul normal Markov este un sistem de permutare. (4.10)
Legile de funcționare a automatelor.
În funcție de legile de funcționare, există 3 tipuri de automate: 1. Mașini automate de primul tip sau mașini automate Miles:
Minimizarea automatelor
Cuvântul de intrare este setul de semnale introduse la intrare. Cuvântul de ieșire este setul de semnale de ieșire.
Algoritmul de minimizare a mașinii Mili
1. Tabelul de ieșire conține stările cu aceleași semnale de ieșire. Datele de stare sunt combinate într-o clasă de stări echivalente. Se efectuează conversia. 2. Conform tabelului
Trecerea de la mașina Mie la automatul Moore
Mașinile automate Miley și mașinile Moore au o funcție de ieșire. Miles de mașină: (
Trecerea de la automatul Moore la automatul Mile
Trecerea de la automatul Moore la mașina Mile este construcția tabelului de ieșire. Construcția constă în înlocuirea semnalelor de ieșire care indică stările în tabela de relee marcate
Doriți să primiți ultimele știri prin e-mail?
Articole similare
Trimiteți-le prietenilor: