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

Агарева О.Ю., Селиванов Ю.В. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 602.04 КБ
  • добавлен 22 августа 2013 г.
Учебное пособие. — М. : МАТИ, 2011. — 80 с. ISBN 978-5-93271-611-3 Учебное пособие предназначено для студентов МАТИ, изучающих дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика», обучающихся по специальностям «Информатика и вычислительная техника» и «Системы автоматизированного проектирования». Оно ставит своей целью помочь студентам лучше усвоить теоретический и практический материал. Пособие посвящено изучению важн...

Алгоритмы и автоматы

Курсовая работа
  • формат doc
  • размер 88.34 КБ
  • добавлен 08 июня 2013 г.
Алатырь: Чувашский государственный университет имени И.Н. Ульянова, 2009. – 19 с. Дисциплина – Математическая логика. Введение. Проблема определения понятия "алгоритм. Понятие алгоритма. Формализация понятия алгоритмов. Теория алгоритмов. История конечных автоматов: машина Поста и машина Тьюринга. Детерминированные конечные автоматы. Представление детерминированного конечного автомата в виде графа. Минимизация детерминированного конечного автомат...

Алиев Ф.К., Юров И.А. Курс лекций по математической логике и теории алгоритмов

  • формат doc
  • размер 948,60 КБ
  • добавлен 21 марта 2012 г.
Учебное пособие. М.: МИФИ, 2003. – 199 с. В настоящем учебном пособии изложены основы теории двоичных функций, исчисления предикатов, теории моделей, элементов теории алгоритмов и теории сложности вычислительных задач. Книга предназначена для студентов, специализирующихся в областях, связанных с информационной безопасностью, а также для преподавателей дискретной математики. В книге 18 лекций. Содержание. Введение Основные способы задания двоичн...

Андрійчук В., Комарницький М., Мельник І. Елементи математичної логіки та теоріі рекурсії

  • формат pdf
  • размер 764.75 КБ
  • добавлен 21 декабря 2011 г.
Навчальний посібник. - Львів: Львівський національний університет імені Івана Франка, 2007. - 152. Метою даної книжки є виклад базових тем математичної логіки, до входять до програм цього курсу для студентів механико-математичних факультетів університетів у зручній для сприйняття формі. Зміст: Розділ I. Семіотика, логічні мови і алгебра висловлень. Семіотика і загальна фнформація про мови першого порядку. Висловлення та дії над ними. Бульові алге...

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

  • формат pdf
  • размер 1.05 МБ
  • добавлен 28 августа 2009 г.
Учеб. пособие. — 2-е изд. -СПб.: СЗТУ, 2003, 104 с. Учебное пособие соответствует государственному образовательному стандарту дисциплины "Математическая логика и теория алгоритмов" направления подготовки дипломированных специалистов 654600 -"Информатика и вычислительная техника" (Специальность 220100 -"Вычислительные машины, комплексы, системы и сети") и направления подготовки бакалавров 552800 - "Информатика и вычислительная техника". В пособии...

Архангельский В.В. Учебная программа по дисциплине Математическая логика и теория алгоритмов

  • формат doc
  • размер 80,36 КБ
  • добавлен 19 октября 2012 г.
Киров: Вятский социально-экономический институт (ВСЭИ), 2010. – 14 с. Цель курса: формирование знаний и представлений о понятиях и методах математической логики, ее месте и роли в науке, современной математике и в школьном курсе математики. Задачи курса: - заложить основы логики и исчисления высказываний и предикатов; - дать представление о формальных математических теориях и вопросах обоснования математики; - научить применению логики предика...

Асеева Т.В. Математическая логика. Методические указания по курсу лекций

Практикум
  • формат doc
  • размер 186,94 КБ
  • добавлен 29 сентября 2012 г.
Тверь: Тверской государственный технический университет (ТГТУ), 2003. - 46 с. Настоящие методические указания предназначены для изучения основ математической логики в части логики предикатов, исчисления высказываний и исчисления предикатов. В нем также даны основные определения формальных систем. Логика высказываний и логика предикатов рассматриваются как примеры формальных систем. Конспект лекций предназначен для студентов специальности 22.01 –...

Бабаева З.В. (сост.) Теория логических информационных отношений

  • формат doc
  • размер 40.04 КБ
  • добавлен 08 февраля 2013 г.
Учебно–методический комплекс и рабочая учебная программа для студентов специальности 080801 "Прикладная информатика (в экономике)". М.: МИИТ, 2011. – 21 с. Комплекс позволит: знать определение предиката, уметь находить область определения и множество истинности предиката; знать правила построения предикатов; иметь представление об основных понятиях математической логики; строить высказывания, выполнять над ними бинарные операции; иметь предста...

Барвайс Дж. Справочная книга по математической логике: В 4-х частях. Ч. III. Теория рекурсии

Справочник
  • формат djvu
  • размер 8.88 МБ
  • добавлен 18 апреля 2013 г.
М.: Наука. Главная редакции физико-математической литературы, 1982. — 360 с. Качество: хорошее, текстовый слой, оглавление. Математическая логика традиционно подразделяется на четыре раздела: теория моделей, теория множеств, теория рекурсии и теория доказательств. Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две первые главы в каждой части носят вводный характер. Далее следуют главы, в ко...

Барвайс Дж. Справочная книга по математической логике: В 4-х частях. Ч. III. Теория рекурсии

Справочник
  • формат pdf
  • размер 11.31 МБ
  • добавлен 09 октября 2016 г.
М.: Наука. Главная редакции физико-математической литературы, 1982. — 360 с. Математическая логика традиционно подразделяется на четыре раздела: теория моделей, теория множеств, теория рекурсии и теория доказательств. Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две первые главы в каждой части носят вводный характер. Далее следуют главы, в которых рассматриваются более специальные вопросы...

Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика

  • формат djvu
  • размер 5.03 МБ
  • добавлен 16 мая 2009 г.
М.: Мир, 1985. - 606 с. Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспирант...

Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика

  • формат pdf
  • размер 15.89 МБ
  • добавлен 17 февраля 2011 г.
М.: Мир, 1985. - 606 с. Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспиранто...

Белов Ю.А., Соколов В.А. Лекции по математической логике и теории алгоритмов

  • формат pdf
  • размер 19,21 МБ
  • добавлен 21 января 2017 г.
Учебное пособие. — Ярославль: ЯрГУ, 2013. — 139 с. — ISBN 978-5-8397-0908-9. Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмичес...

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

  • формат pdf
  • размер 7.89 МБ
  • добавлен 22 июля 2014 г.
М.: Изд-во иностранной литературы, 1961. — 260 с. Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления. От простейших машин, способных решать элементарные логические задачи, автор переходит к современным цифровым автоматическим счетным машинам, описывает...

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

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

Билеты по математической логике

Билеты и вопросы
  • формат doc
  • размер 38,28 КБ
  • добавлен 02 декабря 2012 г.
Экзамен. ПГЛУ, г. Пятигорск, Мансурова А.А., 1 курс, 2011 г., 20 вопросов. Множества. Конечное, пустое, бесконечное множество. Способы задания множеств. Подмножества. Свойства подмножеств. Операции над множествами. Объединение, пересечение Операции над множествами. Разность, дополнение. Универсальное множество. Свойства операций над множествами. Ассоциативный (сочетательный) закон. Коммутативный (переместительный) закон. Дистрибутивный (распреде...

Битюцкий В.П., Папуловская Н.В. Математическая логика. Исчисления высказываний и предикатов

  • формат doc
  • размер 86.61 КБ
  • добавлен 06 января 2012 г.
Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2005. - 34 с. Методическое пособие по дисциплине «Математическая логика и теория алгоритмов» Приводятся основные понятия и утверждения логики высказываний и предикатов. В логике высказываний даются основные методы построения вывода. В логике предикатов вводятся нормальные формы описания предметной области и получение вывода с помощью метода резолюций.

Борщев В.Б., Partee B.H. Интеграция лексической и формальной семантики

  • формат pdf
  • размер 2.73 МБ
  • добавлен 21 сентября 2010 г.
Казань, 2003. 58 с. Курс лекций по логической семантике, прочитанный в Казанском университете в 2003 г. Содержит элементарное изложение методов, средств и проблем описания семантики естественных языков. Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка. Формальная семантика. Интенсиональная логика. Типы. Лямбда и конструкции с лямбдой. Семантика Монтегю для именных групп. Превые шаги к интеграции формальн...

Босс В. От Диофанта до Тьюринга (Лекции по математике, Том 6)

  • формат djvu
  • размер 2.03 МБ
  • добавлен 30 сентября 2009 г.
М.: "КомКнига", 2006. - 208 с. Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот рассматриваемый круг вопросов. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительн...

Бочвар Д.А., Гришин В.Н. (ред.) Исследования по теории множеств и неклассическим логикам

  • формат pdf
  • размер 16.15 МБ
  • добавлен 21 сентября 2015 г.
М.: Наука, 1976. — 308 с. В сборнике представлены статьи по аксиоматической теории множеств, теории моделей, дескриптивной теории множеств, арифметике второго порядка, нестандартным моделям арифметики, логике предикатов высших ступеней, а также по многозначным, модальным и другим неклассическим логикам. Кановей В. Г. Определимость с помощью степеней конструктивности Введение Нормальные множества Основные определения ξK-исчисление χ-нормальные мно...