Зарегистрироваться
Восстановить пароль
FAQ по входу

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

  • Файл формата djvu
  • размером 2,20 МБ
  • Добавлен пользователем , дата добавления неизвестна
  • Описание отредактировано
Серебрянников О.Ф. Эвристические принципы и логические исчисления
М.: Наука, 1970. - 283 с.
В книге рассматриваются проблемы выражения эвристических принципов мышления в исчислениях современной логики.
Содержание
Современная формальная логика и научная эвристика
Общие замечания о методах формальной дедукции
Аналоги принципов эвристической деятельности в логических исчислениях
Системное выражение эвристических принципов в логических исчислениях
Роль принципов логики в развитии научного знания
Критерии нетривиальной выводимости (регулярная выводимость)
О так называемых "парадоксах" формальной выводимости
Регулярная выводимость в классической логике высказываний
Одно регулярное логическое исчисление
Сравнение полного (классического) исчисления высказываний и регулярного исчисления высказываний
Приложение А
Теория естественного вывода с точки зрения современной формальной логики
Семантика логических знаков. Истинностные таблицы
Понятие логического следования
Логические системы естественного вывода
Корректность, непротиворечивость и полнота логических систем
Силлогистика
Приложение Б
Техника естественного вывода в модальной логике
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Упоминается в тегах

Подробнее

Эвристика (Heuristics)

Эври́стика (от др.-греч. εὑρίσκω — «отыскиваю», «открываю») — научная область, изучающая специфику созидательной деятельности В наиболее кратком виде эвристика определяется как «наука о том, как делать открытия». В современном понимании эвристика — это теория и практика организации избирательного поиска при решении сложных интеллектуальных задач.
  • добавлен
  • отредактирован

Смотри также

Подробнее

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

  • djvu
Учебное пособие для студентов философских факультетов и преподавателей логики. — М.: Наука, 1994. — 312 с. Настоящее учебное пособие представляет собой систематическое изложение обширного курса логики, включающее логический анализ языка как знаковой системы, символическую логику (классическую и релевантную) (кн. I), а также формы и приемы познания в естественном языке: понятия...
  • 2,13 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Колмогоров А.Н., Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

  • djvu
М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики....
  • 3,34 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Конверский А.Е. Логика традиционная и современная

  • djvu
Учебное пособие. — Переводчик Е.Е. Ледников. — М.: Идея-Пресс, 2010. — 380 с. — ISBN: 978-5-903927-07-4. Учебное пособие «Логика» состоит из двух книг: «Традиционная логика» и «Современная логика». В первой книге «Традиционная логика» в систематизированном, дидактически выдержанном виде раскрывается метод логики, анализируются основные формы и законы мышления. Значительное...
  • 2,53 МБ
  • добавлен
  • описание отредактировано
Подробнее

Непейвода Н.Н. Прикладная логика

  • pdf
Учебное пособие. — Ижевск: Удмуртский государственный университет (УдГУ), 2002. — 529 с. — ISBN 5-7029-0074-Х. Язык математики. Необходимость точного языка в математике. Как и почему появился язык математической логики? Зачем изучать формальный язык математики? Простейшие высказывания. Что такое высказывание? Математическая интерпретация высказываний. Предметы и универс. Термы....
  • 2,31 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Рассел С., Норвиг П. Искусственный интеллект. Современный подход

  • djvu
2-е изд. — М.: Вильямс, 2007. — 1410 с. — ISBN 5-8459-0887-2, 0-13-790395-2, 978-5-8459-0887-2. В книге представлены все современные достижения и изложены идеи, которые были сформулированы в исследованиях, проводившихся в течение последних пятидесяти лет, а также собраны на протяжении двух тысячелетий в областях знаний, ставших стимулом к развитию искусственного интеллекта как...
  • 17,39 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Робинсон А. Введение в теорию моделей и метаматематику алгебры

  • djvu
М.: Наука, Главная редакция физико-математической литературы, 1967. — 376 с. — (Математическая логика и основания математики). Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели...
  • 3,08 МБ
  • дата добавления неизвестна
  • описание отредактировано
Наверх