Ezek a szabályok tükröződnek az igazság táblában - a stadopedia
Ha a keresési feltételek adatbázisokban történő összeállítására fordul, a diákok gyakran a "természetes értelem csapdájába" esnek. Például a LIBRARY adatbázist a személyes könyvtár könyvére vonatkozó információkkal tekintjük meg, amelynek szerkezete a következő:
Szükséges információt szerezni Tolstoj és Turgenev összes könyveiről. A diákok abszolút többsége ezt a feltételt írja le:
Hasznos lehet a diákokkal néhány formális feladat elvégzése a bonyolult keresési feltételek feldolgozására. Például vonja le az alábbi táblázatot a táblára:
Javasoljon egy sor feladatot ennek a tartalomnak: egy keresési feltétel logikai kifejezés formájában; Határozza meg, hogy mely rekordok teljesülnek.
3) A = 1 és B = 2 R1, R2, R3, R5 4) A = 1 és B = 2 és C = 3, R 1, R2, R3, R4, R5 5) A = 1 és B = 2 és C = 3 R1
6) nem A = 1 R3, R4, R5
Ugyanezen táblázat példáján a műveletek időbeli lefolytatásának kérdése és a végrehajtásukra vonatkozó eljárás kidolgozása történik. Azt mondja, hogy a logikai műveletek a csökkenő elsőbbségben a következők szerint vannak: NOT, AND, OR, példákat adnak a különböző műveleteket tartalmazó logikai kifejezésekre.
7) A = 1 és B = C = 2 vagy 3 R 1, R4, R5 8) A = 1 és B = 2 és C = 3, R 1, R2, R5
9) nem A = 1 vagy B = 2 és C = 3 R1, R3, R4, R5
10) (A = 1 vagy B = 2) és C = 3R1, R5
Az ilyen formális problémák megoldása után vissza kell térnünk a tartalomproblémákhoz. Most a hallgatók sokkal sikeresebbek lesznek a komplex keresési feltételek formalizálása során a logikai kifejezésekben. Például, ki kell választania a 2. és az 5. polc között elhelyezkedő Belyaev és Tolstoy összes könyvet. A logikai kifejezés a következőképpen íródott:
Matematikai logika a táblázatokban. Az alaptanfolyam matematikai logikával rendelkező diákok következő találkozója a táblázatok (ET) tanulmányozása során történik. A táblázatok nyelve különféle táblázatos programozási nyelvként értelmezhető a számítási problémák megoldásához. Ráadásul az ET-n végrehajtott számítási algoritmusok nemcsak lineáris szerkezetűek, hanem elágazó, sőt ciklikus (iterációs ciklusok) is lehetnek. Az ET elágazás feltételes funkció révén valósul meg. A feltételes funkció rögzítésének formája nagymértékben függ a táblázatkezelő típusától.
Ha a cellában egy feltételes függvény kerül beírásra, akkor a számítás eredménye, vagyis ez vagy az érték, a logikai kifejezés által meghatározott feltételektől függően megjelenik a képernyőn. Általában a feltételes funkció a következő struktúrával rendelkezik:
IF (feltétel, 1. cselekvés, 2. művelet).
Itt a "feltétel" logikus kifejezés. Ha a feltétel igaz, akkor az 1. művelet végrehajtódik, ellenkező esetben - action2.
Egy egyszerű logikai kifejezés egy összefüggés (ugyanabban az értelemben, ahogy ezt a fogalmat adatbázisokban használják). A komplex logikai kifejezés logikai műveleteket tartalmaz.
Feature logikai kifejezések táblázatról, hogy logikai műveletek alkalmazásával függvényében: utónév rögzített logikai művelet: AND, OR, NOT (AND, OR, NOT), majd zárójelben újra kiszámolja logikai operandust. Például egy logikai kifejezés
megfelel az egyenlőtlenségek matematikai rendszerének: 0 <А1 <1.
Logikai képleteket lehet elhelyezni az ET sejtjeiben, feltétel nélküli funkció nélkül. Ebben az esetben a logikai érték TRUE vagy FALSE jelenik meg ebben a cellában. Például, ha a sejt C6 tárolják pontszám brán belépő a felvételi vizsgák, és a tompított fokozat az intézet 14, majd helyezze a sejt D6 képlet: C6> = 14, megkapjuk az ebben a cellában igaz, ha a belépő belépett az intézetbe, és LIE - ha nem.
Matematikai logika a programozásban. A legtöbb modern eljárási magas szintű programozási nyelvben (JPL) létezik egy logikai adattípus, alap logikai műveleteket hajtanak végre. Ezen eszközök segítségével komplex logikai problémák megoldhatók a számítógépen, hogy szimulálják az emberi gondolkodás logikáját a mesterséges intelligencia szoftverrendszereiben. A matematikai tartalom problémáinak megoldásában a logikai kifejezéseket leggyakrabban az egyenlőtlenségek (kapcsolatok) rendszerezésére használják. Problémák megoldása az ilyen típusú, a diákok először bizonyítani ismerete a matematika-ki, majd - a képesség, hogy eltolja a matematikai összefüggés-CIÓ nyelvén logika és végrehajtja a megoldást a nyelv a pro-programozás.
A megoldás. A szóban forgó domain két részből áll, amelyek mindegyikét egy egyenlőtlenségi rendszer írja le.
1. rész: x 0; x 2 + y 2 9; y-x -3
2. rész: x 0; x 2 + y 2 25.
Egy koordinátával rendelkező pont (x, y) az árnyékolt régióban található, ha az 1. vagy a 2. részhez tartozik.
A program beírja a pont koordinátáit, kiszámítja azt a logikai kifejezést, amely meghatározza a régió pontjának hozzárendelését, és megjeleníti az eredményül kapott logikai értéket a képernyőn.
var X, Y: valós; L: logikai;
írjon ("Type X:"); readln (X);
írjon ('Enter Y:'); readln (Y);
L: = (X <= 0)and (Sqr(X)+ Sqr(Y) <= 9) and (Y>= -X-3)
vagy (X> = 0) és (Sqr (X) + Sqr (Y)<= 25)
writeln ("A pont az adott tartományban fekszik?", L)
Számítógépes jellegű programokban a logikai kifejezéseket rendszerint az elágazó és hurok operátorok feltételes részére használják.