Тема №6836 МАТЕМАТИЧЕСКАЯ ЛОГИКА. ОСНОВНЫЕ ПОНЯТИЯ АЛГЕБРЫ ЛОГИКИ
Поиск задачи:

Рассмотрим тему МАТЕМАТИЧЕСКАЯ ЛОГИКА. ОСНОВНЫЕ ПОНЯТИЯ АЛГЕБРЫ ЛОГИКИ из предмета Информатика и все вопросы которые связанны с ней. Из представленного текста вы познакомитесь с МАТЕМАТИЧЕСКАЯ ЛОГИКА. ОСНОВНЫЕ ПОНЯТИЯ АЛГЕБРЫ ЛОГИКИ, узнаете ключевые особенности и основные понятия.

Уважаемые посетители сайта, если вы не согласны с той информацией которая представлена на данной странице или считаете ее не правильной, не стоит попросту тратить свое время на написание негативных высказываний, вы можете помочь друг другу, для этого присылайте в комментарии свое "правильное" решение и мы его скорее всего опубликуем.

МАТЕМАТИЧЕСКАЯ ЛОГИКА

ОСНОВНЫЕ ПОНЯТИЯ АЛГЕБРЫ ЛОГИКИ

Логика (от греч. «логос», означающего «слово» и «смысл») — наука о закономерностях, формах и операциях мышления.

Наука логика известна еще с глубокой древности. Ее родоначальником был древнегреческий философ Аристотель (382—322 гг. до н.э.). Он ввел основные формы абстрактного мышления.

Со времен Аристотеля логика не слишком далеко ушла вперед. Даже немецкий философ Иммануил Кант (1724—1804) считал, что эта наука полностью завершила свое развитие. Однако немецкий философ, математик, физик, изобретатель, юрист, историк, лингвист Готфрид Вильгельм Лейбниц (1646—1716) предпринял попытку логических вычислений.

Идеи Лейбница о математической логике не оказали заметного влияния на воззрения его современников. Потребовалось еще полтора столетия, пока в трудах английского математика Джорджа Буля (1815—1864) появились алфавит, орфография и грамматика для математической логики. Интересно то, что Буль не имел математического образования.

Математическая логика включает в себя много различных логик: многозначные логику, логика квантовой механики, конструктивную логику и др.

Самой важной среди них является элементарная математическая логика. Она служит основой для понимания структуры точных утверждений, проверки правильности доказательства этих утверждений. При изучении этой науки развивается мышление.

Алгебра логики — это математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразуют логические высказывания.

Высказывание — повествовательное предложение, о котором можно сказать истинно оно или ложно. Например, рассмотрим высказывания:

Параллелограмм имеет 4 вершины.

Зимой день короче, чем летом.

Число 25 делится на 5.

Число 2 больше 5.

Луна крутится вокруг Марса.

Высказывания 1,2,3 являются истинными, а 4 и 5 — ложными.

Высказывания бывают простыми и сложными. Простое высказывание (логическая переменная) обозначают заглавными латинскими буквами: А, В, С, ... И если высказывание истинно, то пишут А = 1, в противном случае А = 0.

Сложные высказывания (логические функции) состоят из простых высказывания и союзов между ними; обозначаются буквой F.

Значение логической функции определяется с помощью таблицы истинности.

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

 


Категория: Информатика | Добавил: Админ (26.07.2016)
Просмотров: | Рейтинг: 0.0/0


Другие задачи:
Всего комментариев: 0
avatar