Логически основи в компютъра icon

Логически основи в компютъра

НазваниеЛогически основи в компютъра
Дата конвертации13.10.2012
Размер445 b.
ТипДокументы


Логически основи в компютъра




  • Логическите основи на компютъра използват формален апарат, който се нарича математическа логика, логическа алгебра или булева алгебра.



  • Мнозина учени са дали своя принос за развитието на тази част от математиката, но сме длъжни да споменем ирландския математик Джордж Бул (1815 - 1864), който полага основите на математическата логика (неслучайно се среща и терминът Булева алгебра).



  • А) Определение - Всяка мисъл или изречение, за което може да се каже дали то е вярно т.е. истина или не е вярно т.е. неистина.



  • Ако едно съждение е вярно, казваме че то има верностна стойност истина, а ако не е вярно, казваме че верностната му стойност е неистина (лъжа).



  • Стойностите 1(Т) и 0(F) се наричат съждителни константи, а променливите, които приемат само такива стойности,се наричат съждителни променливи (означават се с буквите от латинската азбука).



Прости – Съждения, които не съдържат в себе си други съждения, се наричат прости.

  • Прости – Съждения, които не съдържат в себе си други съждения, се наричат прости.

  • Пр. Иван е чернокос.



  • А) Отношение “И”

  • Б) Отношение “ИЛИ”

  • В) Отношение “НЕ”



Вярно е когато свързаните чрез него съждения са едновременно верни

  • Вярно е когато свързаните чрез него съждения са едновременно верни

  • Пример 1

  • Стоян е отличник по информатика и няма компютър.



  • 1) Стоян е отличник – истина

  • И

  • Стоян няма компютър – истина

  • Следователно съждението е вярно и има верностна стойност 1.



  • 2) Стоян е отличник – истина

  • И

  • Стоян няма компютър – неистина

  • Следователно съждението е невярно и има верностна стойност 0.



  • 3) Стоян е отличник – неистина

  • И

  • Стоян няма компютър – истина

  • Следователно съждението е невярно и има верностна стойност 0.



  • 4) Стоян е отличник – неистина

  • И

  • Стоян няма компютър – неистина

  • Следователно съждението е невярно и има верностна стойност 0.



    • Вярно е когато поне едно от двете свързани чрез него съждения е вярно.
    • Примери
    • Ромбът не е квадрат или трапецът е четириъгълник.
    • Ромбът е квадрат или трапецът е четириъгълник.
    • Ромбът е квадрат или трапецът е правоъгълник.


  • Ромбът не е квадрат – истина

  • или

  • трапецът е четириъгълник – истина

  • Следователно съждението е вярно и има верностна стойност 1.



  • Ромбът е квадрат – неистина

  • или

  • трапецът е четириъгълник – истина

  • Следователно съждението е вярно и има верностна стойност 1.



  • Ромбът е квадрат – неистина

  • или

  • трапецът е правоъгълник – неистина

  • Следователно съждението е невярно и има верностна стойност 0.



  • За всяко съждение може да се образува неговото отрицание. Ако даденото съждение е истина, то неговото отрицание не е и обратното.

  • Примери

  • Информатиката е любимият ми предмет.

  • Математиката не е любимият ми предмет.



  • Информатиката е любимият ми предмет.

  • Отрицанието:

  • Информатиката НЕ е любимият ми предмет.



  • Математиката не е любимият ми предмет.

  • Отрицанието:

  • Математиката е любимият ми предмет.



  • А) Конюнкция

  • Б) Дизюнкция

  • В) Инверсия

  • Г) Импликация

  • Д) Изключваща дизюнкция

  • Е) Равнозначност



Начините по които човек може да свързва простите съждения в сложни, както и необходимостта от това да знае как да определи верностната стойност на едно сложно съждение, ако знае стойностите на съставящите го прости, водят до изучаване и класифициране на логическите функции.

  • Начините по които човек може да свързва простите съждения в сложни, както и необходимостта от това да знае как да определи верностната стойност на едно сложно съждение, ако знае стойностите на съставящите го прости, водят до изучаване и класифициране на логическите функции.



  • логическо умножение ,,И" - конюнкция - има два аргумента и има стойност 0, когато поне един от аргументите й има стойност 0, и 1, когато и двата аргумента са равни на 1. Означава се с ^ или с AND, например aANDb или a^b.



  • Логическо събиране ,,ИЛИ" - дизюнкция - има два аргумента и има стойност 1, когато поне един от аргументите й има стойност 1, и 0, когато и двата аргумента са равни на 0. Означава се с v или с OR, например aORb или avb.



  • логическо отрицание – инверсия – има един аргумент и променя стойността му от 1 в 0 или обратно от 0 в 1. Срещат се различни варианти на означаване - !,NOT,¬ .



  • импликация ( следва, ако … , то …) - има два аргумента, катопървият се нарича предпоставка, а вторият - следствие. Резултатът от имплимацията е 0, само когато предпоставката е вярна (1), а следствието е грешно (0). В останалите случаи импликацията има стойност 1. Означава се с —>.



  • изключващо ,,или"( изкл. дизюнкция, неравнозначност, събиране по модул 2) - има два аргумента и има стойност 0, когато аргументите й имат равни стойности, и 1, когато аргументите й са различни. Означава се с XOR.



  • равнозначност - има два аргумента и има стойност 0, когато аргументите й имат различни стойности, и 1, когато аргументите й са равни. Означава се с <—>.



  • А) ¬(X ^ Y) = ¬X v ¬Y

  • Б) ¬(X v Y) = ¬X ^ ¬ Y



  • Отрицанието на конюнкцията е равно на дизюнкцията на отрицанията.



  • Отрицанието на дизюнкцията е равно на конюнкцията на отрицанията.





Пресметнете всички възможни стойности на израза (p ^ ¬q )

  • Пресметнете всички възможни стойности на израза (p ^ ¬q )





Похожие:

Логически основи в компютъра iconПрограма курсу «Основи інформатики. 7 клас»
Тому метою викладання пропедевтичного курсу „Основи інформатики” (7 клас), що є складником курсу „Основи інформатики та обчислювальної...
Логически основи в компютъра iconОснови здоров’я Вивчення предмета «Основи здоров’я» у 2012 2013 навчальному році здійснюватиметься за навчальною програмою
Вивчення предмета «Основи здоров’я» у 2012 2013 навчальному році здійснюватиметься за навчальною програмою: Програма для загальноосвітніх...
Логически основи в компютъра iconОснови здоров’я Вивчення предмета «Основи здоров’я» у 2012 2013 навчальному році здійснюватиметься за навчальною програмою
Вивчення предмета «Основи здоров’я» у 2012 2013 навчальному році здійснюватиметься за навчальною програмою: Програма для загальноосвітніх...
Логически основи в компютъра iconЗадача 1 : „Тълкуватели ( работи се върху слайд на компютъра). Време за работа 10 мин
Задача 1: „Тълкуватели”( работи се върху слайд на компютъра). Време за работа – 10 мин
Логически основи в компютъра iconПрограма для загальноосвітніх навчальних закладів. Основи здоров’я. 5 9 класи
Вивчення предмета «Основи здоров’я» у 2012 2013 навчальному році здійснюватиметься за навчальною програмою: Програма для загальноосвітніх...
Логически основи в компютъра iconОснови спадкового права тип уроку
Освітня: визначити основи спадкового права, охарактеризувати особливості спад­кування за законом і за заповітом, показати порядок...
Логически основи в компютъра iconОснови здоров'Я 5 -9 класи загальноосвітніх навчальних закладів пояснювальна записка
«Основи здоров’я» передбачає розвиток здоров'язбережувальної компетентності шляхом набуття учнями навичок збереження, зміцнення,...
Логически основи в компютъра iconПрограма для загальноосвітніх навчальних закладів. Основи здоров’я. 5 9 класи. К.: Ірпінь: Перун, 2005
Вивчення предмета «Основи здоров’я» у 2012 2013 навчальному році здійснюватиметься за навчальною програмою: Програма для загальноосвітніх...
Логически основи в компютъра iconСравнителна характеристика между компютърни системи ibm pc/xt и ibm pc/аt-80286
Разширителна карта. Обикновено времето се настройва ръчно при всяко стартиране на компютъра
Логически основи в компютъра iconДодаток 9 основи здоров’я об’єктами перевірки й оцінювання навчальних досягнень учнів з предмета «Основи здоров’я»
Об’єктами перевірки й оцінювання навчальних досягнень учнів з предмета «Основи здоров’я» виділено
Разместите кнопку на своём сайте:
Документы


База данных защищена авторским правом ©cl.rushkolnik.ru 2000-2013
При копировании материала обязательно указание активной ссылки открытой для индексации.
обратиться к администрации
Документы