Математическая логика

Контрольная работа, 01 Августа 2013

1. Основные понятия алгебры логики.
2. Теорема Шеннона.
3. Способы представления функций алгебры логики.

Слово логика означает совокупность правил, которым подчиняется процесс мышления. Сам термин "логика" происходит от древнегреческого «logos», означающего "слово, мысль, понятие, рассуждение, закон". Формальная логика - наука о формах и законах мышления. Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика как наука позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны. Основными формами мышления являются понятия, суждения и умозаключения.
Понятие - это форма мышления, которая выделяет существенные признаки предмета или класса предметов, отличающие его от других. Например, компьютер, человек, ученики.
Суждения - это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком, отношения между предметами или факт существования предмета и которая может быть либо истинной, либо ложной. Языковой формой выражения суждения является повествовательное предложение. Вопросительные и побудительные предложения суждениями не являются.

Диаграммы в математической логике

Реферат, 18 Ноября 2014

Буул Джордж (1815-1864)-английский математик, основоположеник математической логики.
Математическая логика-раздел математики, посвященный анализу методов рассуждений, при этом в первую очередь исследуется форма рассуждений,а не их содержание, т.е. исследуется формализация рассуждений. Формализация рассуждений восходит к Аристотелю. Современный вид Аристотелева(формальная) логика приобрела во второй половине 19 века в сочинении Джорджа Бууля «Законы мысли».

Лекции по "Математической логике"

Курс лекций, 07 Мая 2013

Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очередь, их формы, а не содержания).
Основными разделами математической логики является: логика высказываний, логика предикатов, металогика.
Логика высказываний, как и логика предикатов, имеет два аспекта: семантический, когда она является содержательной теорией логических отношений между суждениями; синтаксический, когда логика является методом дедуктивной формализацией содержательных теорий.

История развития математической логики

Курсовая работа, 03 Октября 2014

Логика – это наука, изучающая формы и законы мышления, закономерности мыслительного процесса. Слово «логика» произошло от греческого logos, что означает слово, понятие, рассуждение, разум. Законы и правила формальной логики необходимо знать для построения правильных рассуждений. Логические знания чрезвычайно важны для повышения эффективности мыслительной деятельности человека и предотвращения логических ошибок.

Предмет и основные разделы математической логики

Контрольная работа, 04 Ноября 2014

Логика как искусство рассуждений зародилась в глубокой древности. Начало науки о законах и формах рассуждений связывают с именем Аристотеля. Прошло два тысячелетия, прежде чем Лейбниц предложил ввести в логику математическую символику и использовать ее для общих логических построений. Эту идею последовательно реализовал в позапрошлом столетии Джордж Буль и тем самым заложил основы математической логики.

Логика формальная, диалектическая, математическая

Контрольная работа, 09 Марта 2015

Цель работы: определить разницу между формальной, диалектической и математической логикой.
Задачи работы:
- дать определение науке логике
- рассмотреть историю, предмет и метод формальной логики
- изучить принципы, методы и законы диалектической логики
- обозначить историю и основные положения математической логики.

Логика формальная и диалектическая. Математическая логика

Реферат, 17 Июня 2014

Язык это знаковая система или средство выражения человеческой мысли. Естественный язык это основа речи и средство общения людей. Искусственный язык более формализован и однозначен, используется в различных науках.
Семиотика как общая теория знаков и знаковых систем изучает принципы построения различных языков. Семиотическими категориями логики являются: знаки, как материальные предметы и явления, представляющие другие предметы и служащие для приобретения, хранения, переработки и передачи информации.
Неязыковые знаки это показатели, символы и сигналы.