При прехода към съставяне на думи за търсене в базите данни на студентите често попадат в "естествен смисъла на капана." Така например, в базата данни се счита за БИБЛИОТЕКА Sve-циите на книгите в личната му библиотека, която има последващи проводящ структура:
Вие искате да получите информация за всички книги на Толстой и Turgai-Нева. По-голямата част от учениците пиша това състояние, както следва:
Полезно е да се извърши със студентите няколко официални работни места за обработка на сложни думи за търсене. Така например, направи на дъската следната таблица:
Оферта поредица от задачи, съдържание: въведете дума за търсене под формата на логически израз; определи, която записва го посрещне.
3) = 1 и В = 2 R1, R2, R3, R5 4) = 1 и В = 2 и С = 3, R1, R2, R3, R4, R5 5) = 1 и В = 2 и С = R1 3
6) е = 1 R3, R4, R5
На примера на една и съща маса работи чрез издаване на операции стар shinstve и ред на изпълнение. Казвайки, че логическите операции се спускат старшинство са разположени както следва: НЕ, AND, OR, дайте примери за логически изрази, които съдържат различни операции.
7) = 1 и В = С = 2 или 3, R1, R4, R5 8) = 1 и В = 2 и С = 3, R1, R2, R5
9) е = 1 и В = 2 и С = 3, R1, R3, R4, R5
10) (А = В = 1 или 2), и С = 3, R1, R5
След решението на формални задачи трябва да се върне към смислени задачи. Сега студентите ще бъдат много по-успешни за формализиране на сложни думи за търсене в логически изрази. Например, искате да изберете всички книги Belyayev и Толстой, разположени на 2-ри до 5-ти рафт. Булев израз може да се запише като:
Математическа логика в електронни таблици. Следващата среща на студентите с математическата логика в основния курс се провежда в изучаването на електронната таблица (ЕТ). език таблица може да се тълкува като един вид електронна таблица програмен език за решаване на изчислителни проблеми. И продавани на изчислителни алгоритми ЕТ може да има не само линейна структура, но и разклонението и дори циклични (повтарящи се цикли). Разклонение на ЕТ осъществява чрез условна функция. Форма за запис зависи до голяма степен функция зависи от вида на процесора на маса.
Ако клетката се съхранява условна функция, на екрана се показва резултата от своя изчисление, т. Е. определена стойност в зависимост от условията на предварително определени логически израз. Обикновен, но условна функция има следната структура:
IF (условие Действие1, действия2).
Тук, "състояние" - логически израз. Ако състоянието е вярно, но тогава действието 1, в противен случай - действия2.
Обикновено логически израз представлява съотношението (в същия смисъл, в който този термин се използва в базите данни). Комплексът булева експресията включва логически операции.
Feature логически изрази за електронни таблици е, че логически операции се използват като функция от: първо име, записани логическа операция: AND, OR, NOT (AND, OR, NOT), следван в скоби повторно изчислени логически операнди. Например, логически израз напрежение
съответства на математическа система на неравенството: 0 <А1 <1.
Логически формули могат да бъдат поставени в ЕВ клетките сами по себе си, без използване на условна функция. В този случай, дадена солна клетката ще се отрази на логическа стойност вярно или невярно. Например, ако C6 клетки се съхраняват резултат на брана участник входните изпити и степен преминаване в Института е 14, след поставянето формула клетка D6: С6> = 14, ние получаваме в тази клетъчна вярно, ако участникът отидох в колеж, и невярно - в противен случай.
Logic програмиране. В повечето съвременни процедурни езици Урс високо Nya програмиране (YAPVU) има логически тип данни, изпълнявани бази Най логически операции. Използването на тези инструменти може да се реши на компютър сложни логически задачи, за да се симулира логиката на човешкото мислене в софтуерни системи за изкуствен интелект. Програмите решават проблеми с математически копроцесор договори за наем, логически изрази най-често се използват за описване на системите на неравенството (връзки). Решаване на проблеми от този тип, студентите трябва първо да демонстрират познания по математика-ки, а след това - възможността да се премине математическата връзка-нето на езика на логиката и да изпълни решението на езика на про-програмиране.
Решение. Районът въпрос, се състои от две части, всяка от които описва система от неравенства.
Част 1: х 0; х 2 + Y 2 Септември; у-x -3
Част 2: х 0; х 2 + Y 2, 25.
Въпросът с координати (X, Y) се крие в тъмния участък ако тя принадлежи на 1-ви или 2-ра част.
Програмата въвежда координатите на точката, то изчислява логически израз, който определя една точка, принадлежаща област и извежда получената логическата стойност на екрана.
Var X, Y: реален; L: булева;
пиша ( "Enter X: '); readln (X);
пиша ( "Enter Y: '); readln (Y);
L: = (X <= 0)and (Sqr(X)+ Sqr(Y) <= 9) and (Y>= -X-3)
или (X> = 0) и (пл (X) + пл (Y)<= 25)
writeln ( "точка се състои в предварително определена област? ', L)
Програмите на изчислителната логика израз-ТА, като правило, използвани в условна част на разклонението и цикли.
Свързани статии