логика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Логика, Шпаргалки, Шадрин Д.А.

Логика, Шпаргалки, Шадрин Д.А.

  Информативные ответы на все вопросы курса «Логика» в соответствии с Государственным образовательным стандартом.

Логика, Шпаргалки, Шадрин Д.А.
Скачать и читать Логика, Шпаргалки, Шадрин Д.А.
 

Презентация - Алгебра логики

Презентация - Алгебра логики

algebra_logiki

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

Философия для технических ВУЗов - Голубинцев В.О., Данцев А.А., Любченко В.С.

Философия для технических ВУЗов - Голубинцев В.О., Данцев А.А., Любченко B.C.  - 2001

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

 Философия для технических ВУЗов - Голубинцев В.О., Данцев А.А., Любченко B.C.



Скачать и читать Философия для технических ВУЗов - Голубинцев В.О., Данцев А.А., Любченко В.С.
 

Информатика. Новый систематизированный толковый словарь-справочник - Воройский Ф.С. - 2003

ИнформатикаНовый систематизированный толковый словарь-справочник - Воройский Ф.С. - 2003

Толковый словарь-справочник, содержит 16 тыс. русско- и англоязычных терминов, расположенных в логической последовательности по тематическим направлениям: «Основы информационной технологии», «Автоматизация информационных процессов и автоматизированные системы», «Средства технического обеспечения автоматизированных систем», «Средства программного обеспечения автоматизированных систем», «Мультимедиа, гипермедиа, виртуальная реальность и машинное зрение», «Сетевые технологии обработки и передачи данных».

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