Математическая логика
Математика
  • формат pdf
  • размер 1.48 МБ
  • добавлен 24 сентября 2010 г.
Пономарев И.Н. Введение в математическую логику и роды структур
Учебное пособие. М.: МФТИ, 2007. 240 с.

В этом пособии, написанном по материалам семинаров, проводившихся автором на кафедре прикладных концептуальных методов в Московском физико-техническом институте, изложены элементы классической логики, а также аппарат родов структур Бурбаки. Применяется стандартная (не бурбаковская) терминология и аксиоматика логики и теории множеств, что позволяет использовать это пособие совместно с другими учебниками.

Предназначено для студентов младших курсов начинающих заниматься концептуальными методами и знакомыми с понятиями и символами математической логики на уровне достаточном для освоения стандартных программ высшей математики. Разделы книги, посвященные логике и теории множеств дают элементарные сведения необходимые для обоснования аппарата концептуальных методов. Пособие разработано в рамках инновационной образовательной программы «Разработка методического обеспечения учебного процесса» по направлению Наукоёмкие технологии и экономика инноваций.
Читать онлайн
Похожие разделы
Смотрите также

Беркли Э. Символическая логика и разумные машины

  • формат djvu
  • размер 1.98 МБ
  • добавлен 13 марта 2009 г.
Год издания: 1961 Количество страниц: 260 Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления. От простейших машин, способных решать элементарные логические задачи, автор переходит к современным цифровым автоматическим счетным машинам, описывает их. ст...

Депман И.Я. Первое знакомство с математической логикой

  • формат djvu
  • размер 1.28 МБ
  • добавлен 28 ноября 2009 г.
Ленинград: Знание, 1963. - 57 с. Учебное пособие, для тех. кто начинает изучать математическую логику. Все очень доступно и с многочисленными примерами. Есть раздел о истории математической логики.

Дурнев В.Г. Элементы теории множеств и математической логики

  • формат djvu
  • размер 11.03 МБ
  • добавлен 05 октября 2009 г.
Ярославль, Ярославский государственный университет, 1978. -117 с. Настоящее учебное пособие предназначено для студентов 1го курса университета. Оно может служить введением в теорию множеств и математическую логику. В первой части пособия излагаются основные элементарные понятия и теоремы теории множеств, большое внимание уделяется аксиоме выбора.

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

  • формат djvu
  • размер 3.34 МБ
  • добавлен 23 января 2010 г.
М.: КомКнига, 2006. - 240 с. Классический университетский учебник. В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) — выдающиеся...

Колмогоров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы

  • формат djvu
  • размер 1.77 МБ
  • добавлен 25 июня 2011 г.
Учебное пособие. М.: Издательство Московского университета, 1984, - 120 с. Книга представляет собой вторую часть учебного пособия авторов «Введение в математическую логику» (Изд-во Моск. ун-та, 1982 г. ), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Ги...

Лупанов О.Б. Лекции по математической логике

  • формат pdf
  • размер 365.13 КБ
  • добавлен 08 января 2011 г.
МехМат МГУ, 1 курс, 2 семестр. 2004. Оглавление: Булева алгебра. k-значная логика. Схемы из функциональных элементов. Автоматы. Логика. Исчисления и предикаты. Алгоритмы. Данный документ представляет собой курс лекций "Введение в математическую логику", читаемый деканом механико-математического факультета МГУ академиков РАН О. Б. Лупановым на I курсе мехмата во втором семестре.

Манин Ю.И. Лекции по математической логике. Часть 1

  • формат djvu
  • размер 1.55 МБ
  • добавлен 08 января 2011 г.
1974. -135 с. Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. В первой части рассматриваются язык высказываний, язык предикатов, проблема континуума. Качество файла - среднее. Скан-то неплохой, просто сам оригинал представляет собой набранный на печатной машинке текст с рукописными формулами. Почему ни одно хорошее издание тех лет не взя...

Манин Ю.И. Лекции по математической логике. Часть 2

  • формат djvu
  • размер 893.93 КБ
  • добавлен 08 января 2011 г.
1974. -71 с. Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. Основной объект изучения второй части курса - детерминированный процесс вычисления, или переработки нечисловой информации - алгоритм.

Пономарев В.Ф. Математическая логика. Часть 1. Логика высказываний. Логика предикатов

  • формат doc
  • размер 182.29 КБ
  • добавлен 14 января 2010 г.
Калининград: КГТУ, 2001. -140 с. Учебное пособие предназначено для студентов университета, изучающих Математическую логику. В нем изложены основные прин-ципы формирования языка, основные правила дедуктивного вывода, основные механизмы доказательства истинности заключения в логике высказываний и логике предикатов. Все доказательства подкреплены множеством примеров. Каждый студент выполняет расчетно-графическую работу. В расчетно-графической работе...

Пономарев В.Ф. Математическая логика. Часть 2. Логика реляционная. Логика нечеткая

  • формат doc
  • размер 155.12 КБ
  • добавлен 14 января 2010 г.
Калининград: КГТУ, 2001. -140 с. Учебное пособие предназначено для студентов университета, изучающих Математическую логику. В нем изложены основные принципы формирования языка, основные правила и механизмы доказательства истинности заключения в реляционной и нечеткой логике. Все доказательства подкреплены множеством примеров. Каждый студент выполняет расчетно-графические работы по реляционной логике. Содержание: Введение 3. Логика реляционная 3...