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

Глава I. Предмет логики 1. Специфика логики как науки Свое название логика получила от древнегреческого слова logos, означавшего, с одной стороны, слово, речь, а с другой - мысль, смысл, разум.Возникая в рамках античной философии как единой, не расчлененной еще на отдельные

Глава II. Соотношение законов формальной логики и логики диалектической Диалектика «не отменяет формальной логики, а только лишает ее законы приписываемого им метафизиками абсолютного значения». Г. Плеханов 1. Определите, какие из следующих высказываний представляют

ГЛАВА I ПРЕДМЕТ ЛОГИКИ “Логика” (от древнегреческого слова “логос”) означает “понятие”, “разум”, “рассуждение”. В современном языке это слово употребляется в следующих основных значениях.Во-первых, логикой называют закономерности в изменении и развитии вещей и

Введение

Что же изучает логика как наука и почему она называется формальной?

Слово «логика» происходит от греческого logos, что означает «мысль», «слово», «разум», «закономерность». В современном языке это слово используется, как правило, в трех значениях:

• 1)для обозначения закономерностей и взаимосвязей между событиями или поступками людей в объективном мире; в этом смысле довольно часто говорят о «логике фактов», «логике вещей», «логике событий», «логике международных отношений», «логике политической борьбы» и т.д.;
• 2)для обозначения строгости, последовательности, закономерности процесса мышления; при этом употребляются выражения: «логика мышления», «логика рассуждения», «железная логика рассуждений», «в выводе отсутствует логика» и др.
• 3)для обозначения особой науки, которая изучает логические формы, операции с ними и законы мышления.

Предмет дисциплины «Логика». Человеческое мышление как предмет изучения логики

Объектом логики как науки является мышление человека. Но мышление - сложный, многосторонний процесс обобщенного отражения человеком вещей, их свойств и отношений окружающего его мира. Этот процесс изучается многими науками, например такими, как философия, психология, генетика, языкознание, кибернетика и др. Философия изучает происхождение и сущность мышления, его отношение к материальному миру и познанию. Психология изучает условия нормального (в соотношении с патологией) функционирования и развития мышления, влияние на него социально-психологической среды. Генетика стремится раскрыть механизм наследования людьми способностей к мыслительной деятельности. Языкознание интересуется взаимосвязью мышления с языком. Ученые-кибернетики пытаются сконструировать технические модели мозга и человеческого мышления. Логика же изучает процесс мышления с точки зрения его структуры мыслей, правильности и неправильности рассуждений, отвлекаясь от конкретного содержания мыслей и их развития.

Предметом логики являются логические формы, операции с ними и законы мышления.

Чтобы лучше понять предмет изучения логики, рассмотрим коротко процесс познания человеком окружающего его мира. Познание - процесс получения знаний о мире. Существуют два способа (источника) получения знаний: логика мышление

• 1)чувственное познание - с помощью органов чувств и приборов;
• 2)рациональное (ratio - разум) - познание с помощью абстрактного мышления.

В основе материалистической теории познания лежит теория отражения: вещи, явления объективного мира воздействуют на органы чувств человека, заставляют работать всю систему передачи информации в мозг (а также сам мозг), в результате чего у человека создаются образы этих вещей и явлений. Чувственные образы - это знания о внешних свойствах, сторонах вещей и явлений (видимых, слышимых, осязаемых и т.д.). Таковы, например, наши знания о том, что «сегодня дождливая погода»; «на моих часах половина четвертого»; «эта роза - красная»; «Петр сидит слева от Павла» и т. д. Чувственное познание протекает в трех основных формах: ощущение (отражение отдельных свойств предметов), восприятие (отражение предмета в целом, это целостный образ предмета) и представление (сохранившийся образ предметов). Но на ступени чувственного познания человек не может познать сущность вещей и явлений, их внутренние свойства. Как говорил Маленький Принц из одноименной повести А. де Сент-Экзюпери, «самого главного глазами не увидишь». Поэтому на помощь органам чувств приходит разум, или абстрактное мышление, которое отражает действительность в главных и существенных свойствах и отношениях.

В абстрактном мышлении познание мира происходит не явно, а опосредованно - без обращения к наблюдению, практике, а с помощью дополнительных рассуждений о свойствах и взаимосвязи предметов и явлений. Например, по термометру можно узнать о погоде; по следам, оставленным преступником на месте преступления, можно воссоздать картину преступления и найти преступника и т. п. Одной из важнейших особенностей абстрактного мышления являются его взаимосвязь с языком: каждая мысль оформляется посредством слов и словосочетаний - «проговаривается» с помощью внутренней или внешней речи. В процессе мышления человек не только отражает существующий мир, но может создавать новые идеи, абстракции, прогнозировать и предвидеть. Рациональное или абстрактное мышление протекает в трех основных формах - понятия, суждения, умозаключения.

Понятие - форма мышления, с помощью которой создаются мысленные образы о предметах, их свойствах и отношениях. В процессе создания понятий человек анализирует интересующие его предметы, сравнивает их, выделяет существенные черты, синтезирует их, абстрагируется от несущественных, обобщает мысленно предметы по этим признакам. В результате создаются мысленные образы о предметах, их свойствах и отношениях. Например, отвлекаясь от многообразных индивидуальных свойств студентов, связанных с их национальностью, полом, возрастом и т.д., и выделяя главные свойства, можно сказать, что студент - это учащийся высших образовательных учреждений; ученик - тот, кто получает образование; а сам человек - тот, кто способен трудиться, мыслить, говорить.

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

Образование понятий дает возможность иметь знания о явлениях исходя из главных, существенных свойств класса подобных явлений. О том, что получилось бы, если бы люди не пользовались в общении между собой понятиями, красноречиво повествует Джонатан Свифт. Один мудрец, рассказывает автор «Путешествий Гулливера», предложил для выражения мыслей пользоваться в разговоре не понятиями о предметах, а самими предметами. Многие последовали этому «мудрому» совету. Правда, собеседникам приходилось таскать на плечах большие узлы с вещами. При встрече на улице они снимали с плеч мешки, открывали их и, достав оттуда необходимые вещи, вели таким образом беседу. Разумеется, такая «беседа» могла быть до крайности элементарной, если она вообще могла состояться. Имея понятия о предметах, человек может судить о них (высказывать суждения) и делать умозаключения. Например, имея понятие о человеке и зная, что все живое рано или поздно умирает, мы можем высказать суждение: «Всякий человек - смертен».

Суждение - форма мышления, в которой о предмете мысли что-то утверждается или отрицается. Суждениями являются также следующие высказывания: «Всякий ученик сдает экзамен», «Если студент не сдаст экзамены за первый курс, то не будет переведен на второй курс» и т. д. Из суждений мы можем получать новые суждения.

Например: исходя из суждения «Всякий человек смертен», можно утверждать, что «Некоторые смертные - люди» или отрицать: «Ни один человек не бессмертен». Если же мы свяжем суждение «Всякий человек смертен» с суждением «Сократ - человек», то можем чисто умственным путем получить новое суждение: «Сократ - смертен». Такая взаимосвязь суждений называется умозаключением:

Всякий человек - смертен

Сократ - человек

Сократ - смертен.

В процессе построения понятий, суждений и умозаключений человек может допускать сознательные и бессознательные ошибки. Чтобы избежать ошибок, необходимо знать правила мышления. Построенное по правилам (и законам) мышление называется правильным.

Правильное мышление - такое, в котором из исходных истинных знаний (понятий, суждений и умозаключений) всегда с необходимостью получаются новые истинные знания (новые понятия, суждения, умозаключения). В неправильном мышлении из истинных знаний могут получаться как истинные, так и ложные новые знания. Например, исходя из суждений «Если шел дождь, то дорога будет мокрая» и «Шел дождь», можно с уверенностью сказать, что «Дорога будет мокрая». Но неправильно делать вывод: «Если шел " дождь, то дорога будет мокрая» и «Дорога мокрая», следовательно, «Шел дождь», так как дорогу могли просто полить. Неправильным будет рассуждение, когда из двух суждений «Если человек совершил кражу, то он совершил - преступление» и «Человек не совершил кражу» делается заключение «Человек не совершал преступление», так как человек мог совершить какое-либо другое преступление. Вопрос о правильности умозаключений - это вопрос о правилах их построения, о правилах взаимосвязи отдельных мыслей (понятий, суждений, умозаключений). Именно этим интересуется логика как наука о мышлении.

Поэтому ее называют «формальной логикой». Формальная логика отвлекается от конкретного содержания мыслей и их развития. Но она учитывает истинность или ложность исследуемых мыслей (в двузначной формальной логике учитываются два значения всякой мысли - «истина» и «ложь»; в многозначной формальной логике вводятся другие значения, например «неопределенно»). Иногда правильное мышление называют логичным - по названию науки, которая изучает эту сторону процесса мышления. Вопрос об истинности (ложности) суждений - это вопрос о соответствии (несоответствии) того, что в нем утверждается или отрицается, объективному миру. Истинное суждение - такое, в котором верно отражается положение дел в объективной реальности (которое соответствует действительности). Например: «Москва - столица России», «Преступник - человек, который нарушает правовые и нравственные законы общества» и т. п. Ложное суждение такое, которое не соответствует действительности. Например: «Санкт-Петербург - столица России», «Преступник - праведный человек» и т. д. Вопросы о том, что такое истина вообще, как соотносится чувственное познание и абстрактное мышление в процессе достижения истины о предметах, изучает другая наука - философия.

Структура:

1) Общая (несимволическая);

Виды логик.

1) Философская

Понятие как форма мышления.

Понятие состоит из:

· Количественное (объём);

· Качественное (содержание).

Понятие и представление. Понятие и термин. Определение и структура понятия.

Представление – чувственный образ предмета, в данный момент нами не воспринимаемого, но который ранее в той или иной форме воспринимался. Бывает воспроизводящее (представление чего-то, что мы когда-то видели) и творческое (наоборот).

Термин – слово, предназначенное для максимально строгого и точного выражения тех или иных понятий.

Определение понятия – логическая операция, которая раскрывает содержание понятия либо устанавливает значение термина (нужно для указания на сущность отражаемых в понятии предметов, раскрытия содержания понятия и отличия одного круга предметов от другого).

Структура понятия:

· Объём – совокупность предметов (класс), объединённых в этом понятии. Бывает конечный или бесконечный.

Виды понятий.

Классификация по объёму:

· Единичные (понятия, соответствующие классам (множествам), состоящим из одного элемента).

· Общие (понятия, соответствующие классам (множествам), состоящим из двух и более элементов).

· Пустые (понятия, соответствующие классам (множествам), объёмы которых представляют собой классы реально не существующих предметов).

Классификация по содержанию:

· Конкретные (отражают одно- и многоэлементные классы предметов) и абстрактные (мыслится не сам предмет, а какой-то из его признаков)

· Относительные (мыслятся предметы, существование одного из которых предполагает существование другого) и безотносительные (существующие самостоятельно)

· Собирательные (класс однородных предметов мыслится как единое целое) и несобирательные (содержание можно отнести к каждому предмету данного)

· Положительные (наличие у предмета качества или свойства) и отрицательные (указывается на отсутствие у предмета этого свойства)

Классификация понятий.

Классификация – разновидность деления понятий, представляет собой вид последовательного деления и образует развёрнутую систему, в которой каждый её член (вид) делится на подвиды и т.д.

· По видообразующему признаку (зеркала бывают плоские и сферические)

· Дихотомическая

o По существенным признакам (естественная)

o По несущественным (вспомогательная)

Суждение. Виды суждений.

Суждение – форма мышления, в которой утверждается или обращается что-либо относительно предметов и явлений, их св-в, связей и отношений и которая обладает св-вом выражать либо истину, либо ложь.

Виды суждений:

1) Простое – 1 субъект и 1 предикат;

2) Сложное – состоят из неск. простых суждений, соединённых логическими союзами «и», «или», «если», «то».

По объёму субъекта:

1) Единичные (это S есть/не есть P);

2) Частные:

· Неопределённые (некоторые S есть P);

· Определённые (только некоторые S или P)

3) Общие (в которых что-либо утверждается или отрицается в каждом предмете данного класса) (все S есть P или ни одно S не есть P)

По качеству связи:

1) Утвердительные;

2) Отрицательные

1) Суждения свойства ((не)принадлежность предмету мыслимого или иного свойства, состояние S есть P или S не есть P)

2) Суждения отношения – различные связи между предметами мысли по месту, времени, величине и пр.

3) Суждения существования – решают вопрос о наличии предмета нашей мысли – любого явления природы, общества.

Объединенная классификация суждений по качеству и количеству.

Объединённая классификация суждений:

1) Общеутвердительные (все S есть P);

2) Общеотрицательные (ни одно S не есть P);

3) Частноутвердительные (некоторые S есть P);

4) Частноотрицательные (некоторые S не есть P).

Виды суждений, не рассматриваемых в классической логике.

???????????????????????

Комплексный анализ простого категорического суждения.

Проведение комплексного анализа суждения предполагает, что:

1. Определена его логическая структура (форма);

2. Показано на круговой схеме соотношение объёмов дескриптивных терминов (субъекта и предиката) в составе суждения;

3. Указана распределённость терминов в составе суждения, на основании чего суждение отнесено к одному из четырёх типов (видов) и суждению сопоставлено условное буквенное обозначение.

12. Умозаключение.

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

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

Между его посылками и заключением есть отношение логического следования. Процесс рассуждения направлен от общего к частному.

Силогистика. Основные понятия.

Силогизм - дедуктивное умозаключение,в котором вывод совершается на основе соотношения терминов в одном или более категорических суждениях.

Все металлы (М ) электропроводны (Р) - большая посылка.

Медь ( S) есть металл (М) - меньшая посылка.

Медь (S) электропроводна (Р) - заключение.

Условный силлогизм - обе посылки и заключение – условные суждения.

Разделительный силлогизм – 1 посылка – разделительное суждение, 2 посылка и заключение – разделительное и категорическое суждения.

Б) условно-разделительный (1 из 2 или более – условное суждение, а 2 – разделительное суждение)

Суждения и высказывания как формы мышления.

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

Высказывание – повествовательное предложение, которое может быть либо истинным, либо ложным.

Основные операции над высказыванием. Таблица истинности.

Операции задаются с помощью таблиц истинности.

Отрицание

Конъюнкция – аналог «и».

Импликация – аналог «если, то».

Эквивалентность – аналог связки «тогда и только тогда».

Дизъюнкция – аналог «или».

Бином Ньютона»

(a +b ) n = a n + C n 1 a n -1 b + C n 2 a n -2 b n -2 + C n 3 a n -3 b 3 + … + b n .

Компоненты формулы «Бином Ньютона»

· Первая часть формулы – разложение бинома

· - ,биномиальные коэффициенты

· Общий член разложения бинома n-й степени.

Где T – член разложения.

(K+1)- порядковый номер разложения.

Треугольник Паскаля»

Биномиальныекоэффициенты можно подучить с помощью треугольника Паскаля (пользуясь операцией сложения).

В верхней строке пишутся две единицы. Все следующиестроки начинаются и оканчиваются единицей. Промежуточные числаполучаются сложением соседних чисел вышестоящей строки.

Практическая значимость треугольника Паскаля заключается в том, что с его помощью можно восстановить по памяти не только известные формулы, но и формулы куба суммы (разности) , четвертой степени и выше.

Пример: (a + b) 6 =a 6 +6a 5 b + 15a 4 b 2 +20a 3 b 3 + 15a 2 b 4 +6ab 5 +b 6 .

39. Ориентированные графы. Динамика графа. Матрицы смежности, инциденций и достижимости.

Ориентированный граф - это граф, на ребрах которого обозначены разрешенные направления движения, проще говоря, расставлены стрелочки.
- входящая степень вершины - это число входящих в нее ребер;
- исходящая (или выходящая ) степень вершины - это число выходящих из нее ребер;
- путь из вершины A в вершину B - это последовательность ребер и промежуточных вершин, по которым можно дойти из A в B; длина пути определяется, как обычно (число ребер); простой путь - как обычно, путь, в котором вершины (и тем более, ребра) не повторяются;
- ориентированный цикл - это замкнутый простой путь в ориентированном графе;
- сильно связный ориентированный граф - это ориентированный граф, где из любой вершины в любую есть путь (для каждой пары вершин A и B есть как путь из A в B, так и путь из B в A);
- компонента сильной связности - это часть графа, которая сама по себе сильно связна, но ее нельзя расширить так, чтобы она осталась сильно связной; между разными компонентами сильной связности могут быть ребра , но все ребра между двумя разными компонентами направлены в одну и ту же сторону .

Динамика Графа.

Графы принято изображать в виде диаграмм, состоящих из точен или кружков и линий, соединяющих некоторые из этих точек (кружков) При этом точки соответствуют вершинам графа, а соединяющие пары точек линии - ребрам

Матрица смежности

Матрица смежности графа G с конечным числом вершин n (пронумерованных числами от 1 до n) - это квадратная матрица A размера n, в которой значение элемента a ij равно числу рёбер из i-й вершины графа в j-ю вершину.

Матрица инцидентности - одна из форм представления графа, в которой указываются связи между инцидентными элементами графа (ребро(дуга) и вершина). Столбцы матрицы соответствуют ребрам, строки - вершинам. Ненулевое значение в ячейке матрицы указывает связь между вершиной и ребром (их инцидентность).

В случае ориентированного графа каждому ребру ставится в соответствие "-1" на позиции (x,y) и "1" на позиции (y,x); если связи между вершинами нет, то ставится в соответствие "0".

Изоморфизм графов.

Два графа G и G, называются изоморфными если между множеством их вершин существует такое взаимно-однозначное соответствие, при котором в одном из графов ребрами соединены вершины в том и только в том случае, если в другом графе ребрами соединены те же вершины Для орграфов дуг также должна быть одинаковой.

Маршруты, цепи и циклы

Маршрутом в графе G = называется последовательность вершин и рёбер вида v 0,e 1,v 1,e 2, ..., v n- 1,e n ,v n , где v i  V, i  , e i  E, (v i- 1,e i ), (v i ,e i )  I, i  . Вершины v 0, v n называются связанными данным маршрутом (или просто связанными ). Вершину v 0 называют началом , а v n – концом маршрута. Если v 0 = v n , то маршрут называют замкнутым . Число n называется длиной маршрута .

(Цепь, простая цепь, цикл). Маршрут, в котором все рёбра попарно различны, называется цепью . Замкнутый маршрут, являющийся цепью, называется циклом . Маршрут, в котором все вершины попарно различны, называется простой цепью . Цикл, в котором все вершины, кроме первой и последней, попарно различны, называется простым циклом .

Операции над графами.

Приводятся основные операции над графами такие как объединение, пересечение, кольцевая сумма , удаление вершины , удаление ребра , замыкание истягивание . Эти операции рассматриваются для представления графов матрицами смежности. Цель лекции: Дать представление об операциях над графами и возможных способах их представления в матричных структурах.

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

Объединение графов G 1 и G 2 , обозначаемое как , представляет такой граф , что множество его вершин является объединением Х 1 и Х 2 , а множество ребер – объединением A 1 и A 2 . Граф G 3 , полученный операцией объединения графов G 1 и G 2 , показан на рис. 2.1 , а его матрица смежности – на рис. 2.1,е. Матрица смежности результирующего графа получается операцией поэлементного логического сложения матриц смежности исходных графов G 1 и G 2 .

Рис. 2.1.

Пересечение графов G 1 и G 2 , обозначаемое как , представляет собой граф . Таким образом, множество вершин графа G 4 состоит из вершин, присутствующих одновременно в G 1 и G 2 . Операция пересечения графов показана на рис. 2.2,в, а результирующая матрица смежности получается операцией поэлементного логического умножения матриц смежности исходных графов G 1 и G 2 . показана на рис. 2.2.г.

Рис. 2.2.

Рис.2.2 . Операция пересечения и кольцевой суммы: а – граф G 1 ; б – граф G 2 ; в – граф ; г – матрица смежности графа ; д – граф ; е – матрица смежности графа

Кольцевая сумма двух графов G 1 и G 2 , обозначаемая как , представляет собой граф G 5 , порожденный на множестве ребер . Другими словами, граф G 5 не имеет изолированных вершин и состоит только из ребер, присутствующих либо в G 1 , либо в G 2 , но не в обоих одновременно. Кольцевая сумма графов G 1 и G 2 показана на рис. 2.2,д, причем вершина не входит в граф кольцевой суммы а результирующая матрица смежности получается операцией поэлементного логического сложения по mod 2 матриц смежности исходных графов G 1 и G 2 . показана нарис. 2.2.е.

Легко убедиться в том, что три рассмотренные операции коммутативны т. е. , и многоместны, т. е. . и так далее.

Удаление вершины . Если х i -вершина графа G = (X, A), то G–х i -порожденный подграф графа G на множестве вершин X–х i , т. е. G–х i является графом , получившимся после удаления из графа G вершины х i и всех ребер, инцидентных этой вершине. Удаление вершины х 3 показано на рис. 2.3,б (для исходного графа, изображенного на рис. 2.3,а). Матрица смежности исходного графа представлена на таблице 2.1а). Результирующая матрица смежности графа после выполнения операции удаления вершины х i получается путем удаления соответствующего i - го столбца и i -ой строки из исходной матрицы и "сжимания" матрицы по вертикали и горизонтали начиная с (i+1) - го столбца и (i+1) -ой строки (таблица 2.1б). В дальнейшем элементы графа могут быть переобозначены.

Рис. 2.3.

Удаление ребра или удаление дуги . Если a i - дуга графа G = (X, A), то G-a i – подграф графа G, получающийся после удаления из G дуги a i . Заметим, что концевые вершины дуги a i не удаляются. Удаление из графа множества вершин или дуг определяется как последовательное удаление определенных вершин или дуг. Удаление дуг a 4 и a 7 показано на рис. 2.3,в. Результирующая матрица смежности графа после выполнения операции удаления дуги a i получается путем удаления соответствующих элементов из исходной матрицы (таблица 2.1в).

Замыкание или отождествление . Говорят, что пара вершин х i и x j в графе G замыкается (или отождествляется), если они заменяются такой новой вершиной, что все дуги в графе G, инцидентные х i и x j , становятся инцидентными новой вершине. Например, результат замыкания вершины х 1 и х 2 показан на рис. 2.3,г для графа G (рис. 2.3,а). Матрица смежности графа после выполнения операции замыкания вершин х i и x j получается путем поэлементного логического сложения i - го и j - го столбцов и i -ой и j - строк в исходной матрице и "сжимания" матрицы по вертикали и горизонтали (таблица 2.1г).

Стягивание . Под стягиванием подразумевают операцию удаления дуги или ребра и отождествление его концевых вершин. Граф , изображенный на рис. 2.3,д получен стягиванием дуги a 1 , а на рис. 2.3,е – стягиванием дуг a 1 , a 6 и a 7 . Соответствующие результирующие матрицы смежности показаны в таблицах 2.1д и 2.1е.

Деревья

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

Ориентированным деревом (или ордеревом) называется ориентированный граф без циклов, во все вершины которого, кроме одной, ровно одна дуга.

Единственная вершина, из которой дуги только выходят, называется корнем дерева. Остальные вершины называются узлами дерева.

Из определения дерева следует, что корень связан единственным путем с любой другой вершиной дерева.

На рисунке приведены диаграммы всех неизоморфных ориентированных деревьев с тремя и четырьмя вершинами.

Висячая вершина ордерева называется листом. Путь из корня в лист называется ветвью.Длина наибольшей ветви ордерева называется высотой ордерева.

Расстояние от корня до некоторой вершины называется уровнем вершины. Сам корень имеет уровень 0. Вершины одного уровня образуют ярус дерева.

Замечание. При изображении ориентированных деревьев принято помещать корень наверху и все стрелки дуг ориентировать сверху вниз, что избавляет от необходимости изображать эти стреДеревья ориентированные

На рисунке показано дерево, изображенное в соответствии с указанными выше правилами Вершины дерева разбиты на 4 яруса.

Нулевой ярус содержит корень дерева х, В первом ярусе 3 вершины, во втором ярусе 5 вершин, в третьем ярусе-6 вершин

Деревья бинарные и сбалансированные

Бинарным деревом называется ориентированное дерево, из каждой вершины которого выходит не более двух дуг.

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

Сбалансированные деревья иногда называют АВЛ деревьями, в соответствии с именами их первооткрывателей, советских математиков: Адельсона-Вельского и Ландиса, которые предложили в 1962 году данное определение.

Разрезы

Пусть G(V,U) –неориентированный граф.

Разрезом называется всякое множество R ребер графа G, что удаление этих ребер из графа делает его несвязным.

Разрез называется простым, если никакое собственное подмножество разрезом не является.

Потоковые модели.

Социометрические модели.

Логика как наука, ее предмет, структура, значение.

Логика – наука о правилах рассуждения и тех формах, в которых оно осуществляется.

Предмет: мышление как средство познания объективного мира, те его формы и законы, в которых происходит отражение мира в процессе мышления.

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

Структура:

1) Общая (несимволическая);

· Учение об основных формах мышления (понятия, суждения, умозаключения;

· Систематические формы: определение, классификация, доказательства, логические методы, связанные с анализом данных опыта

2) Символическая (математическая).

Виды логик.

1) Философская

2) Математическая логика – изучает логические связи и отношения, лежащие в основе дедуктивного (логического) вывода. Разрабатывает применение математических методов к анализу форм и законов доказательного рассуждения.

· Классическая логика – приписывает лишь одно из 2-ух значений: истина либо ложь.

· Неклассическая логика – исключает применение двузначной логики в рассуждениях о бесконечных множествах.

o Трёхзначная – высказываниям приписываются три значения: истина, ложь, нейтрально.

o Многозначная – высказываниям может приписываться множество значений, например: вероятность, возможность, невероятность и т.д.

Понятие как форма мышления.

Понятие – форма мышления, в которой отражаются существенные признаки предмета или класса однородных предметов.

Признак понятия: мысли о свойствах и отношениях предметов.

· Существенное понятие (предмет не может существовать);

· Несущественное понятие (предмет остаётся самим собой).

Понятие состоит из:

· Количественное (объём);

· Качественное (содержание).

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

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

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

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

О «Топика», «Категории», «Об опровержении софистических аргументов», «Об истолковании». Византийские логики объединили все перечисленные работы Аристотеля иод общим названием «Органон» (Орудие знания). - См.: Аристотель . Соч. Т. 2. М., 1978.

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

Представление - это процесс наглядного и обобщенного отражения предметов и явлений (или их отдельных свойств), которые в данный момент не воздействуют на наши органы чувств.

Чувственное отражение является основой абстрактного мышления, которое позволяет познавать законы мира, сущность предметов. Абстрактное, или рациональное, мышление отражает мир и его процессы глубже и полнее, чем чувственное.

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

Главное назначение логики как раз и заключается в том, чтобы исследовать специфические мыслительные законы и разработать правила получения выводного знания.

Следовательно, объект логики как науки - это мышление человека.

Но мышление - это сложный, многогранный процесс, высшая форма познания мира, свойственная только человеку. И логику здесь интересует отнюдь не все. Сущность мышления, его происхождение, отношение к миру и его познавательные возможности изучает философия. Физиология интересуется гем, как зависит мышление от состояния мозга, материального субстрата мысли. Психология изучает условия оптимального развития и функционирования мышления, влияние на него социально-психологической среды, чувств. Генетика старается раскрыть тайны наследования детьми от родителей способностей к какой-либо деятельности. Ученые-кибернетики изучают технические возможности моделирования человеческого мышления на ЭВМ с обратной гибкой связью.

Логика при этом не вникает в содержание мыслей, так как очевидно, что по этому параметру мысли математика отличаются от мыслей биолога, музыкант думает совсем о другом, нежели судья, ученый использует в исследованиях такие понятия и термины, которые совершенно не употребляются в повседневном мышлении и языке. Да и о чем только не может рассуждать человек!

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

Характерным для мышления является тот факт, что познание действительности, развитие знаний осуществляется обобщенно, опосредствованно.

Обобщенно, потому что в мыслях и понятиях человек отражает стороны предметов и явлений, которые его интересуют, отвлекаясь от остальных, и в наших понятиях отражаются признаки не только данного единичного предмета и явления, но и признаки содержания, присущие множеству предметов и явлений данного класса. Так, когда мы употребляем понятие «судья», то имеем в виду целый класс представителей судебной власти. Например, не только конкретного Председателя Конституционного Суда РФ, но и общие признаки судей прошлого, настоящего и будущего.

Опосредствованно, потому что мышление позволяет нам получить новые знания о мире, не обращаясь каждый раз непосредственно к опыту, а опираясь на предшествующие знания. Если мы с достоверностью знаем, что судебная власть всегда защищает права граждан, то используя данную мысль как исходное суждение, мы можем получить новое истинное утверждение: «Суды в Российской Федерации также защищают права граждан России».

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

Таким образом, мы можем дать определение логики как науки.

Логика (от греч. Аоуо

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

Логику иногда называют наукой о правильном мышлении. Такое определение логики хотя и страдает некоторой нечеткостью, имеет основание. Действительно, когда хотят проверить правильность какого-либо рассуждения, го обращаются к законам и правилам логики. Логика помогает нам размышлять таким образом, чтобы получать истинные выводы.

Поскольку логика в узком смысле интересуется формой построения мыслей и отвлекается при этом от конкретной информации, заключенной в них, она называется формальной логикой .

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

Например, следующие два суждения:

«Катон Старший говорил о необходимости разрушить Карфаген» и «Плевако - хитроумный адвокат» - имеют далеко не одинаковое содержание, но у них одинаковая логическая структура. В нервом и втором суждении предмету мысли приписывается какое-то определенное свойство. Схематично это будет выглядеть следующим образом: S есть Р, где: S - есть предмет мысли; (от лат. subjectum - субъект, в высказывании-суждении - логическое подлежащее); Р - свойство, которое приписывается этому предмету; (от лат. proedicatum - сказанное, в высказывании-суждении - предикат).

Для обоснования нашего вывода рассмотрим еще два рассуждения: «Все космонавты - отважные люди. Г. Титов - космонавт. Следовательно, Г. Титов - отважный человек» и «Все студенты первого курса Российской академии правосудия изучают логику. Таня Петрова- студентка первого курса Российской академии правосудия. Следовательно,

Таня Петрова изучает логику». Содержание этих рассуждений разное, а логическая структура (форма) одинакова. В логике ее записывают часто так:

Суждения «М есть Р» и «S есть М» связаны друг с другом общим для них термином «М» (буквой «М» обозначается понятие, которое имеет одинаковое содержание в первом и втором высказываниях. Оно называется средним термином (от лат. medium - средний)) и благодаря этому возможен вывод: «S есть Р».

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

История логики насчитывает более 2,5 тысячелетий и делится на два основных этапа. Первый начался с трудов Аристотеля и продолжался до начала XX в. Второй - с этого времени и до наших дней. Практически невозможно перечислить всех выдающихся мыслителей, которые развивали логику. Этому вопросу следует посвящать специальный курс. Вместе с тем, следует обратить внимание на то, что уже в Древней Греции огромное внимание логике уделяли представители школы «стоиков» (Хринсиии). Одной из наиболее ярких личностей в логической культуре средневековья является И. Д. Скот. Значительный вклад в развитие формальной логики как науки внес Ф. Бэкон. Он заложил фундамент логического учения об индукции, целью которой является обнаружение причинных связей между явлениями окружающего мира посредством наблюдений и экспериментов. Дж. С. Милль разработал методы научной индукции на основании установления причинных связей. Г. Лейбниц обосновал идею о возможности представить доказательство как математическое вычисление. Д. Буль истолковал умозаключение как результат решения логических равенств. Г. Фреге применил логику для исследования оснований математики. Существенный вклад в развитие логики в дальнейшем внесли Б. Больцано, О. Де Морган, У. С. Джевонс, Ч. С. Пирс, Э. Шредер и др.

Начало XX века знаменует своеобразная революция в логике. Фундаментальные результаты были получены К. Геделем, Д. Гильбертом, Б. Раселом, А. Тарским, А. Н. Уайтхедом, А. Черчем и др.

Наши соотечественники также внесли большой вклад в развитие логики. Эволюция логических идей в России связана с блестящим созвездием имен: это братья Лихуды, М. В. Ломоносов, П. С. Порецкий, Н. А. Васильев, А. А. Мар- ков-сын и др. В последние десятилетия многое для разработки современного учебного курса логики сделали А. П. Алексеев, Л. Б. Баженов, В. А. Бочаров, Е. К. Войшвилло, А. Д. Гетманова, Д. П. Горский, А. А. Ивин, Ю. В. Ивлев, В. И. Кириллов, С. А. Лебедев, В. И. Маркин, А. Л. Никифоров, С. И. Повар- нин, Г. И. Рузавин, П. Сергеич, В. И. Свинцов, А. А. Старчен- ко, М. К. Треушников, А. И. Уемов и др.

• В отличие от диалектической логики, которая в известном смыслесовпадает с теорией познания.