логика

Практическая логика, Светлов В.А., 2013.

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

Практическая логика, Светлов В.А., 2003.

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

Логика, Бойко А.П., 1994.

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

Логика, Углубленный курс, Гетманова А.Д., 2008.

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

Учебник логики, Челпанов В.Г., 2010.

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

Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013.

Учебное пособие соответствует государственному образовательному стандарту дисциплины "Математическая логика и теория алгоритмов" направления подготовки дипломированных специалистов 654600 — "Информатика и вычислительная техника" (Специальность 220100 — ""Вычислительные машины, комплексы, системы и сети") и направления подготовки бакалавров 552800 — ""Информатика и вычислительная техника ".
В пособии излагаются разделы математической логики и теории алгоритмов, необходимые для освоения общепрофессиональных и специальных дисциплин специальности 220100. Достаточно подробно изложены основы логики высказываний и логики предикатов, включая приложение логики предикатов к доказательству правильности алгоритмов. Пособие содержит вводный материал по логическому программированию и клаузальной логике, а также основные понятия нечеткой и модальной логики. Приведены основы теории алгоритмов и алгоритмической разрешимости, доказательство эквивалентности моделей алгоритмов Тьюринга и рекурсивных схем Клини. Пособие содержит также введение в теорию эффективной вычислимости, переборных NP-нолных и NP-трудных задач.

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

ЛОГИКА, опорные схемы и таблицы для студентов гуманитарных факультетов, 2008.

ПРАВИЛА ДЕЛЕНИЯ ПОНЯТИЯ.
1) правило соразмерности — объем делимого понятия должен быть равен сумме членов деления
2) правило единства основания деления — деление должно производиться по одному основанию:
3) правило взаимоисключающих объемов — члены деления должны исключать друг друга;
4) правило «скачка» — деление должно быть последовательным и не содержать скачка.

Удивительная логика, Гусев Д.А., 2010.

  Логику не изучают в школе. Тем не менее, мы пользуемся ее законами с детских лет: учимся размышлять и принимать решения, осмысливаем происходящее, постигаем разные науки и, самое главное, общаемся с другими людьми – поясняем свою позицию, возражаем, спорим, убеждаем…
Современный умный, развитый человек просто обязан владеть логическим мышлением – оно упорядочивает полученные знания, придает ясность речи, делает убедительной аргументацию и позволяет добиваться победы в дискуссиях.
Книга «Удивительная логика» требует определенного напряжения умственных сил и может служить своеобразной проверкой базовых логических способностей человека. В то же время она позволяет развить персональные интеллектуальные данные и творческие навыки поиска нестандартных решений. Одним словом, она учит мыслить.
Тестовым и развивающим целям служат и приведенные в конце издания оригинальные логические задачи.
Книга адресована в первую очередь старшеклассникам и студентам, интересующимся логикой и желающим активно использовать ее законы для достижения личного успеха.