«аочное дистанционное образование с получением государственного диплома через Internet










ѕолучить информацию о поступлении
 
√лавна€ Ќовости  арта сайта ‘отоальбом √остева€ книга  онтакты

“еоретический материал
ѕрактический материал
ќбъект информатики
ѕредметна€ область информатики как науки
÷ель и задачи курса Ђинформатикаї
»стори€ развити€ информатики

{LTS}

 

ќсновы логики

“еоретической базой при проектировании современных цифровых устройств, предназначенных дл€ целей числовых вычислений, решени€ логических задач и задач управлени€, €вл€ютс€ булева алгебра, двоична€ арифметика и теори€ конечных автоматов. ¬ цифровых устройствах широко используетс€ простейший раздел математической логики Ц исчисление высказываний или алгебра логики. јлгебру логики часто называют булевой алгеброй в честь английского математика ƒжорджа Ѕул€.

Ћогика Ц это наука о законах и формах мышлени€. ћатематическа€ логика занимаетс€ применением формальных математических методов дл€ решени€ логических задач.

Ётапы развити€ логики:
1 этап Ц формальна€ логика. ќснователь Ц јристотель.
2 этап Ц математическа€ логика. ќснователь Ц немецкий ученый и философ Ћейбниц, предприн€л попытку логических вычислений.
3 этап Ц математическа€ логика (булева логика). ќснователь Ц английский математик ƒжордж Ѕуль, ввел алфавит, орфографию, грамматику дл€ математической логики. ќсновна€ иде€ его системы Ц применение алгебраических методов дл€ решени€ логических задач.

«аконы логики отражают в сознании человека свойства, св€зи и отношени€ объектов окружающего мира. Ћогика позвол€ет строить формальные модели окружающего мира, отвлека€сь от содержательной стороны.

јлгебра логики Ц это раздел математики, изучающий высказывани€, рассматриваемые со стороны их логических значений (истинности или ложности) и логических операций над ними.

Ѕазовым пон€тием булевой алгебры €вл€етс€ пон€тие высказывани€ (суждени€) Ц любое утверждение, рассматриваемое только с точки зрени€ его истинности или ложности (форма мышлени€, в которой что-либо утверждаетс€ или отрицаетс€ о реальных предметах, их свойствах и отношени€х между ними). ¬ булевой алгебре не существует истинно-ложных высказываний. ¬ысказывани€ можно рассматривать как логическую переменную, котора€ может принимать различные значени€. »счисление высказываний основано на том, что их можно рассматривать как двоичные переменные, которые могут принимать одно из двух своих значений.

¬ысказывани€, образованные из других высказываний с помощью логических св€зок, называютс€ составными. ¬ысказывани€, не €вл€ющиес€ составными, называютс€ элементарными. ¬ысказывани€ называютс€ простыми, если значение его истинности не зависит от значений истинности других высказываний, и сложным, если значение его истинности зависит от других высказываний. —ложное высказывание можно рассматривать логической функцией, завис€щей от простых высказываний и принимающей также два значени€ (истинна, ложь). ¬ свою очередь сложные высказывани€ могут служить переменными (аргументами) более сложных функций.
 
{SITELINK-S292}Ћогические операции и таблицы истинности{/SITELINK}
 
 

”знать как сэкономить в кризис моно на сайте ekonom-it.ru

Ќепозиционные системы счислени€ ‘ормы представлени€ чисел  оды дл€ представлени€ чисел ќпераци€ сложени€ в обратном и дополнительном кодах јлгоритмизаци€ и программирование Ћогические операции и таблицы истинности “елекоммуникационные технологии World Wide Web World Wide Web (продолжение) ‘отоальбом 


 
     
   
 


ѕриглашаем прин€ть участие в круглом столе!
подробнее   >>>
 

»нститут ћенеджмента, Ёкономики и »нноваций начинает набор на курсы повышени€ квалификации!
подробнее   >>>
 

”важемые студенты јЌќ ¬ѕќ »ћЁи»!
подробнее   >>>
 

Ќачинаетс€ набор на курсы повышени€ квалификации!
подробнее   >>>
 

ѕриглашаем прин€ть участие в конференци€х!
подробнее   >>>
 


все новости...

 


–ассылки Subscribe.Ru
—овременное образование
ѕодписатьс€ письмом