логика

Логика диссертации, учебное пособие, Синченко Г.Ч., 2015.

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

Тексты, развивающие логику и мышление, Орлик Е.Н., 2004.

 Елена Николаевна Орлик - окончила факультенты «Педагогика и методика начального обучения» и «Русский язык и литература» МГПИ имени Ленина, а также три курса математического факультета того же института. Учитель-практик с большим педагогическим стажем в общеобразовательной школе, долгое время работала в психолого-педагогичеком центре коррекции и реабилитации. Имеет неординарный взгляд на методику преподавания русского языка, хочет создать учебник нового типа, который учитывал бы не только классические вопросы преподавания, но и соответствал бы индивидуальному биоритму, был персональным и разборным.

Математическая логика, алгебра, теория чисел, теория вероятностей, Колмогоров А.Н., Юшкевич А.П., 1978.

Предыстория математической логики.

В трехтомной «Истории математики» (ИМ) математическая логика не рассматривалась. Поэтому анализу развития математической логики в XIX в.  мы предпошлем   краткий  обзор  ее предшествующей истории.
Первое дошедшее до нас систематическое построение и изложение логики содержат трактаты Аристотеля (384—322 гг. до н. э.), объединенные его комментаторами под общим названием «Органон». В «Органон» входят «Категории» (об именах), «Об истолковании» (о суждениях), «Первая Аналитика» (об умозаключениях), «Вторая Аналитика» (о доказательствах), «Топика» (о доказательстве, опирающемся на положения, представляющиеся вероятными) и примыкающее к ней «Опровержение софистических аргументов». Во «Второй Аналитике» изложена теория доказательств Аристотеля и сформулированы основные требования, предъявляемые к «доказывающей науке», в частности к математике. Подчеркивая строгость логических рассуждений Аристотеля, Лейбниц отметил: «Аристотель был первым,  кто писал математически в  нематематике» х.
Логика другого стиля, своеобразная логика высказываний, была развита философами мегарской школы, основателем которой был ученик Сократа Евклид из Мегар (ок. 450—380 до и. э.). Учеником Евклида был Евбулит из Милета (IV в. до н. э.), с именем которого связываются известные парадоксы — «Лжец», «Куча». Мегарская школа оканчивается Филоном (ок. 300 до н. э.). Однако примерно в это время учеником Филона Зеноном из Китиопа (ок. 336—264 до н. э.) создается школа стоиков, воспринявших основные идеи и стиль мегариков. Наиболее видным представителем стоиков был Хризипп (ок. 281—208 до н. э.), о котором в свое время говорили, что если бы боги нуждались в логике, то это была бы логика Хризиппа. Дошедшая до пас в отрывках логика мегарской и стоической школ удивительным образом предвосхищает современное исчисление высказываний.



Символическая логика Г. В. Лейбница.

Лейбниц понимал логику в самом широком смысле: она не только искусство суждения и доказательства известных истин, как аналитика Аристотеля, во и искусство изобретения и открытия новых истин.
Изучение трудов Аристотеля произвело большое впечатление на молодого Лейбница и оказало влияние на формирование его логических взглядов. Лейбниц высоко ценил силлогистику Аристотеля. Он писал: «...изобретение силлогистической формы — одно из прекраснейших и даже важнейших открытий человеческого духа. Это своего рода универсальная математика, все значение которой еще не достаточно понято» 2.
Однако силлогистика Аристотеля является не единственной формой вывода; существуют и более сложные формы. К таким более сложным формам дедукции Лейбниц относит, например, правила сложения, умножения и перестановки членов пропорций у Евклида. То, что является результатом оперирования по этим правилам, носит достоверный характер, а сам процесс получения результата есть доказательство (argu-menta in forma) 3.
План усовершенствования и построения логики был у Лейбница таков.
Прежде всего нужно проанализировать все понятия, приводя их к сочетаниям наиболее простых понятий; перечень этих простых, неопределяемых  понятий  составит  «алфавит человеческих  мыслей».   Затем  из
этих простых исходных понятий все остальные понятия могут быть получены путем комбинирования. Анализ понятий позволит провести вместе с тем доказательства всех известных истин, т. е. составить своеобразный их  свод — «доказательную энциклопедию».


Оглавление.

ПРЕДИСЛОВИЕ
Глава первая МАТЕМАТИЧЕСКАЯ ЛОГИКА
Глава вторая АЛГЕБРА И АЛГЕБРАИЧЕСКАЯ ТЕОРИЯ ЧИСЕЛ
Глава третья ПРОБЛЕМЫ ТЕОРИИ ЧИСЕЛ
Глава четвертая ТЕОРИЯ ВЕРОЯТНОСТЕЙ
ЛИТЕРАТУРА (Ф. А. Медведев)
ОСНОВНЫЕ СОКРАЩЕНИЯ
ИМЕННОЙ УКАЗАТЕЛЬ (Л. Ф. Лапко)



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать: Скачать - pdf - Яндекс.Диск.

Всеобщая история, средние века, 6 класс, тесты, кроссворды, филворды, логические задания, Мартьянова О.А., 2010.

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

Задачи по теории множеств, математической логике и теории алгоритмов, Лавров И.А., Максимова Л.Л., 2004.

В книге в форме задан систематически изложены основы теории множеств. Математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук.
Состоит из трех частей: «Теория множеств». «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Вce необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу.
Сборник может быть использовал как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков - алгебраистов. логиков и кибернетиков.

Решебник по русской логике, Лобанов В.И., 2002.

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

Рабочая тетрадь №2, Шахматы с енотом, Волкова Е., Прудникова Е.

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

Логика, Рабочая тетрадь, Беденко М.В., 2010.

Автор серии «Хочу учиться!» Марк Беденко широко известен своими уникальными учебными пособиями, направленными на то, чтобы вызвать у детей интерес к обучению. В рабочей тетради содержится более 200 задач на развитие логического мышления, составленных по оригинальной авторской методике. Пособие поможет ребенку 5-6 лет развить наблюдательность, память, научит сравнивать, оценивать и анализировать.