Термины по теме «Элементы алгебры логики»


Цель 

Научиться давать определения терминов по теме "Элементы алгебры логики"

Задание

Дать 3 определения терминов по теме "Элементы алгебры логики"(смотреть здесь). Термины должны быть из разных категорий (Основные понятия, Логические операции, Законы алгебры логики, Исторические личности - всего по каким-либо 3 категориям). Для каждого определения выбирать категорию. На один и тот же термин можно давать разные (не повторяющиеся) определения. К определениям добавлять изображения или прикреплять файлы.

Оценивание

Каждое полное определение - 4 балла



Browse the glossary using this index

Special | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | ALL

Page:  1  2  3  4  5  (Next)
  ALL

А

Picture of Синишин Богдан

А.А Марков

by Синишин Богдан - Monday, 31 October 2016, 7:51 PM
 

В конструктивную математическую логику А. А. Марков вводит понятие «разрешимое высказывание» и связанное с ним понятие «прямое отрицание». В логике А. А. Маркова имеется и другой вид отрицания — усиленное отрицание, относящееся к так называемым полуразрешимым высказываниям.

Кроме материальной и усиленной импликации, при установ­лении истинности которых приходится заботиться об истинности посылки и заключения, А. А. Марков вводит дедуктивную имп­ликацию, определяемую по другому принципу. Дедуктивная имп­ликация «если А, то В»выражает возможность выведения В из А по фиксированным правилам, каждое из которых в применении к верным формулам даст верные формулы. Всякое высказывание, выводимое из истинного высказывания, будет истинным.

Через дедуктивную импликацию А. А. Марков определяет редукционное отрицание (reductio ad absurdum). Редукционное отрицание высказывания А (сформулированного на данном язы­ке) понимается как дедуктивная импликация «если А, то Л», где через Л обозначен абсурд. Это определение отрицания соответ­ствует обычной практике рассуждений математика: математик отрицает ту посылку, из которой вытекает абсурд. Для установ­ления истинности редукционного отрицания высказывания не требуется вникать в смысл этого высказывания. Высказывание, для которого установлена истинность редукционного отрицания, не может быть истинным.

hello_html_m3e129a77.jpg


 
Picture of Суханов Саня

Аристо́тель

by Суханов Саня - Friday, 28 October 2016, 2:09 PM
 

Аристо́тель (др.-греч. Ἀριστοτέλης384 до н. э.СтагираФракия — 322 до н. э.Халкида, остров Эвбея) — древнегреческий философ. Ученик Платона. С 343 до н. э. — воспитатель Александра Македонского[1]. В 335/4 г. до н. э.[2] основал Ликей (др.-греч.Λύκειον Лицей, или перипатетическую школу). Натуралист классического периода. Наиболее влиятельный из философов древности; основоположник формальной логики. Создал понятийный аппарат, который до сих пор пронизывает философский лексикон и стиль научного мышления.

Аристотель был первым мыслителем, создавшим всестороннюю систему философии, охватившую все сферы человеческого развития: социологиюфилософиюполитикулогикуфизику. Его взгляды на онтологию имели серьёзное влияние на последующее развитие человеческой мысли. Метафизическое учение Аристотеля было принято Фомой Аквинским и развито схоластическим методом. Карл Маркс называл Аристотеля величайшим мыслителем древности[3].

Aristotle Altemps Inv8575.jpg


 

В

Picture of Яшин Коля

Высказывание

by Яшин Коля - Wednesday, 2 November 2016, 5:53 PM
 

Высказывание - это повествовательное предложение, про которое можно определенно сказать истинно оно или ложно (истина (логическая 1), ложь (логический 0)).

 

Г

Picture of Беляева Настя

Го́тфрид Ви́льгельм Ле́йбниц

by Беляева Настя - Monday, 24 October 2016, 7:29 PM
 

Го́тфрид Ви́льгельм Ле́йбниц 

саксонский философлогик,математикмеханикфизикюристисторикдипломатизобретатель и языковедОснователь и первый президент Берлинской Академии наук, иностранный член Французской Академии наук[13].

Важнейшие научные достижения:

Лейбниц также является завершителем философии XVII века и предшественником немецкой классической философии, создателем философской системы, получившей название монадология[16]. Он развил учение об анализе и синтезе[5][17], впервые сформулировал закон достаточного основания (которому, однако, придавал не только логический (относящийся к мышлению), но и онтологический (относящийся к бытию) смысл: «… ни одно явление не может оказаться истинным или действительным, ни одно утверждение справедливым, — без достаточного основания, почему именно дело обстоит так, а не иначе…»)[16][18]; Лейбниц является также автором современной формулировки закона тождества[5][8][17]; он ввёл 

термин «модель»[5], писал о возможности машинного моделирования функций человеческого мозга[19]. Лейбниц высказал идею о превращении одних видов энергии в другие[5], сформулировал один из важнейших вариационных принципов физики — «принцип наименьшего действия» — и сделал ряд открытий в специальных разделах физики[5][8].

Он первым обратился к вопросу о возникновении российской правящей династии[20], первым в немецкой историографии обратил внимание на взаимосвязь лингвистических проблем с генеалогией[20], создал теорию исторического происхождения языков и дал их генеалогическую классификацию, явился одним из создателей немецкого философского и научного лексикона[5][8].

Лейбниц также ввёл идею целостности органических систем, принцип несводимости органического к механическому и высказал мысль об эволюции Земли[5].

Gottfried Wilhelm von Leibniz.jpg

 

Д

Picture of Орёл Варвара

Давид Гильберт

by Орёл Варвара - Wednesday, 2 November 2016, 9:21 PM
 

Дави́д Ги́льберт (нем. David Hilbert23 янв

аря 1862 — 14 февраля 1943) — немецкий математик-универсал, внёс значительный вклад в развитие многих областей математики. В 1910—1920-е годы (после смерти Анри Пуанкаре) был признанным мировым лидером математиков. Гильберт разработал широкий спектр фундаментальных идей во многих областях математики, в том числе теорию инвариантов и аксиоматику евклидовой геометрии. Он сформулировал теорию гильбертовых пространств, одну из основ современного функционального анализа[4].


 
Picture of Щербiна толя

Дедуктивное умозаключение

by Щербiна толя - Sunday, 30 October 2016, 6:33 PM
 
Дедуктивное умозаключение Деду́кция (лат. deductio — выведение) — метод мышления, следствием которого является логический вывод, в котором частное заключение выводится из общего. Цепь умозаключений (рассуждений), где звенья (высказывания) связаны между собой логическими выводами.
 
Picture of Урбанович Татьяна

Джордж Буль

by Урбанович Татьяна - Sunday, 23 October 2016, 7:11 PM
 

Английский математик и логик. Профессор математики Королевского колледжа Корка с 1849 года. Один из основателей математической логики. Буль был, вероятно, первым после Джона Валлиса математиком, обратившимся к логической проблематике. Буль не считал логику разделом математики, но находил глубокую аналогию между символическим методом алгебры и символическим методом представления логических форм и силлогизмов.На математические темы Булем в течение жизни были созданы два систематических трактата: «Трактат о дифференциальных уравнениях» (1859; второе издание не завершено, материалы к нему опубликованы посмертно в 1865) и задуманный как его продолжение «Трактат о конечных разностях» (1860). Эти труды внесли важный вклад в соответствующие разделы математики и в то же время продемонстрировали глубокое понимание Булем философии своего предмета.

George Boole.jpg

 
Picture of Наумов Нікіта

Джордж Буль

by Наумов Нікіта - Sunday, 30 October 2016, 2:20 PM
 

Джордж Буль (англ. George Boole; 2 ноября 1815, Линкольн — 8 декабря 1864, Баллинтемпл, графство Корк, Ирландия) — английский математик и логик. Профессор математики Королевского колледжа Корка (ныне Университетский колледж Корк) с 1849 года.


 
Picture of Суханов Саня

Дизъю́нкция

by Суханов Саня - Monday, 31 October 2016, 8:40 PM
 

Дизъю́нкция (лат. disjunctio — разобщение), логи́ческое сложе́ние, логи́ческое ИЛИ, включа́ющее ИЛИ; иногда просто ИЛИ — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу»

{\displaystyle a\lor b,\;a} || b,a{\displaystyle b,\;a}{\displaystyle b,\;a} | b,a ORb{\displaystyle b,\;a~{\mbox{OR}}\,\,b}{\displaystyle b,\;a~{\mbox{OR}}\,\,b},max(a,b).{\displaystyle ,\;\max(a,b).}{\displaystyle ,\;\max(a,b).}

 
Picture of Урбанович Татьяна

Дистрибутивный (распределительный) закон

by Урбанович Татьяна - Sunday, 23 October 2016, 6:54 PM
 

Закон, выражающий дистрибутивность (распределительность) одной данной логической или математической операции относительно другой данной операции. Примером этого закона может служить закон обычной арифметики: а (b + с) = аb + ас, выражающий распределительность умножения относительно сложения.

Формула закона:

.

.



 

Page:  1  2  3  4  5  (Next)
  ALL