Коротков М.А., Степанов Е.О. Основы формальных логических языков

формат pdf
размер 823.66 КБ
добавлен 24 апреля 2011 г.

Санкт-Петербург: Санкт-Петербургский Государственный институт Точной Механики и Оптики, 2003, 84 с.
Данное пособие посвящено основам формальных логических языков. В нем дается краткое изложение языков логики первого и второго порядков, элементов теории доказательств, теории моделей и формальной теории множеств. Пособие основано на курсе лекций, читаемом на кафедре Компьютерных технологий Санкт-Петербургского Государственного института Точной Механики и Оптики.
Пособие предназначено для студентов компьютерных и математических специальностей.

Похожие разделы

Смотрите также

Автор неизвестен. Курс лекций по логике

Статья

формат htm, doc
размер 63.06 КБ
добавлен 15 августа 2011 г.

М., 2007. - 44 с. В работе рассмотрены основные разделы учебного курса логики, как системы знаний, ее предмет и задачи, 3 основные формы мышления, 4 фор-мально – логических закона, логические основы аргументативного процесса и др. Предназначены для студентов всех специальностей при подготовке к практическим занятиям по логике и при освоении курса логики.

Автор неизвестный. Краткий учебный словарь по логике

Практикум

формат doc
размер 67 КБ
добавлен 15 ноября 2011 г.

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

Белнап Н., Стил Т. Логика вопросов и ответов

формат djvu
размер 6.7 МБ
добавлен 03 мая 2011 г.

М., Прогресс, 1981 г.290 с. Современная логика изучает не только понятия, имеющие сугубо техническое значение и представляющие интерес лишь для логиков-профессионалов. В настоящее время арсенал логических средств рассуждения используется и для изучения понятий, имеющих общенаучное (и даже общекультурное значение). Именно такими понятиями являются "полнота" и "непротиворечивость" систем аксиом "алгоритм", "доказательство", "смысл высказывания и те...

Дипломная работа - Технологии повторения учебной темы. Логика высказываний

degree

формат doc
размер 1.54 МБ
добавлен 09 июня 2009 г.

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

Кирсанов О.И. Традиционная логика

формат doc
размер 233.48 КБ
добавлен 31 марта 2010 г.

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

Купарашвили М.Д., Нехаев А.В., и др. Логика

формат pdf
размер 1.04 МБ
добавлен 27 мая 2009 г.

Учебное пособие / сост.: М. Д. Купарашвили, А. В. Нехаев, В. И. Разумов, Н. А. Черняк. – Омск: Изд-во ОмГУ, 2004 г. – 124 с. Излагается полный курс дисциплины «Логика» в соответствии с государственным образовательным стандартом. Для студентов Омского госуниверситета. Формальная логика сегодня представлена двумя ветвями – традиционной и математической (символической) логикой. Традиционная логика – это первая ступень логики выводного знания. Она...

Купаршвили М.Д. Неклассическая логика

формат pdf
размер 624.41 КБ
добавлен 21 июня 2009 г.

Учебное пособие / Сост. М.Д. Купарашвили. – Омск: Изд-во ОмГУ, 2006. – 74 с. Формирование у студентов логической культуры мышления и ведения диалога требует знания не только классических, но и неклассических форм логики. Результаты революции в логике на рубеже XIX–XX вв. воплотились в разных видах логических теорий, совокупность которых со временем получила название неклассической логики. Если классическая логика ориентирована на анализ математи...

Маковельский А.О. История Логики

формат doc
размер 538.48 КБ
добавлен 26 апреля 2010 г.

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

Серебрянников О.Ф. Эвристические принципы и логические исчисления

формат djvu
размер 2.2 МБ
добавлен 11 июля 2011 г.

М.: Наука, 1970. - 283 с. В книге рассматриваются проблемы выражения эвристических принципов мышления в исчислениях современной логики. Содержание Современная формальная логика и научная эвристика Общие замечания о методах формальной дедукции Аналоги принципов эвристической деятельности в логических исчислениях Системное выражение эвристических принципов в логических исчислениях Роль принципов логики в развитии научного знания Критерии нетриви...

Труды научно-исследовательского семинара Логического центра Института философии РАН 1996

Статья

формат djvu
размер 3.75 МБ
добавлен 18 октября 2011 г.

Труды научно-исследовательского семинара Логического центра Института философии РАН 1996. - М.,1997. - 205 с. Смирнова Е.Д. К вопросу построения семантик формализованных и естественных языков. Сидоренко Е.А. Семантика следования(для системы Е). Карпенко А.С.,Шалак В.И. Минимальные модели для нечеткой алгебры типа 2. Васюков В.Л. Метафора в прагматических матрицах. Карпенко А.С.,Попов В.М. Новая аксиоматизация импликативного фрагмента бесконечнозн...