Бочаров маркин основы логики doc скачать

Бочаров В.А., Маркин В.И. Введение в логику: учебник.

Учебник. М.: Инфра-М, 1998. - 296 с. Этот учебник представляет собой основное содержание курса лекций по логике, который авторы в течение ряда лет читали на философском и психологическом факультетах Московского университета им. М.В. Ломоносова. Рекомендуется студентам гуманитарных и естественных факультетов универс.

Бочаров А.Б. Учебно-методический комплекс по курсу Логика. Брюшикин В.Н. Логика. Учебник для вузов. Москва: Гардарики, 2001. - 334 с. Оригинально построенный учебник позволяет овладеть знаниями по логике, необходимыми студенту-гуманитарию, а также навыками логического мышления.

В книге дается нетрадиционное изложение курса традиционной формальной логики, обогащенной элементами символической логики. . Поварнин С.И. Введение в логику. Ивлев Ю.В. Логика для юристов. Тесты по Логике (с ответами) Что такое логика: Что не входит в состав термина "человек": Процесс отражения реальной действительности в сознании человека: Что не входит в структуру речи: Какой структурный элемент речи отражает логику: Совершенное знание отражает: Что не входит в характеристику мысли: Чт. Микиртумов И.Б.

Логика: задачи и их решение. Учебно-методическое пособие. - СПб.: Кафедра логики СПбГУ, 2007. - 41 с. Предлагаемое пособие предназначено для студентов гуманитарных факультетов, изучающих традиционную формальную логику. Решая задачи, надо иметь под рукой какой-либо из учебников по традиционной формальной логике или хороший конспект лекций. Читателю . Войшвилло Е.К., Дегтярев М.Г. Логика как часть теории познания и научной методологии (фундаментальный курс). Книга I.

Войшвилло Е.К., Дегтярев М.Г. Логика как часть теории познания и научной методологии (фундаментальный курс). Книга 2. Шангин В.О. Автоматический поиск натурального вывода в классической логике предикатов.

-Москва, - МГУ, - 2004, – 109 стр. Диссертация на соискание ученой степени кандидата философских наук. Специальность: 09.00.07 – Логика. (На правах рукописи). Научный руководитель: профессор Бочаров В. А. Аннотация.

Целью диссертационного исследования является пересмотр алгоритма поиска натурального вывода типа Куа.