VIPBOOK.SU
ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Лекции и практикум по математической логике

Наука и познание >> Математика





Разместил: AlexShe

19-03-2018, 20:05

Просмотров: 226





Лекции и практикум по математической логике

В пособии приведен конспект лекций и практикум по дисциплине «Математическая логика и теория алгоритмов». Учебное пособие используется для подготовки студентов направлений «Бизнес-информатика», «Математика. Компьютерные науки», «Информационные технологии», «Прикладная математика и информатика» и других математических, компьютерных и экономических специальностей.
Пособие состоит из трех разделов: лекции, лабораторный практикум, тестирование. В лекциях изложены основы математической логики, булева алгебра, исчисление высказываний и предикатов.
Подготовлено на кафедре прикладной информатики и теории вероятностей РУДН.

Название: Лекции и практикум по математической логике
Автор: Зарипова Э.Р., Маркова Е.В.
Издательство: Российский университет дружбы народов
Год: 2016
Страниц: 100
Формат: pdf
Размер: 10 mb
Качество: хорошее










Похожие публикации

Лавров И.А., Максимова Л.Л. - Задачи по теории множеств, математической логике и теории алгоритмов Лавров И.А., Максимова Л.Л. - Задачи по теории множеств, математической логике и теории алгоритмов
В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств»,

Крупский В.Н., Плиско В.Е. - Математическая логика и теория алгоритмов Крупский В.Н., Плиско В.Е. - Математическая логика и теория алгоритмов
Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление

Математическая логика. Дискретные функции. Теория алгоритмов Математическая логика. Дискретные функции. Теория алгоритмов
Учебное пособие содержит полное изложение материала учебных дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции» Государственного образовательного стандарта высшего профессионального образования по специальностям

Дискретная математика и математическая логика Дискретная математика и математическая логика
Рассматриваются основные темы дискретной математики и математической логики: теория множеств, элементы комбинаторики, теория графов, теория переключательных функций и автоматов, теория кодирования, формальная логика, логические исчисления,

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

Задачи и упражнения по математической логике и теории алгоритмов Задачи и упражнения по математической логике и теории алгоритмов
Задачи и упражнения по математической логике и теории алгоритмов — Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые

Зарипова Э.Р., Кокотчикова М.Г. - Дискретная математика. Часть III. Теория графов Зарипова Э.Р., Кокотчикова М.Г. - Дискретная математика. Часть III. Теория графов
В пособии излагаются основы теории графов и алгоритмов на графах. Книга является продолжением курса дискретной математики: «Часть I. Комбинаторика» и «Часть II. Математическая логика». Теория графов является частью науки дискретной математики.

Зарипова Э.Р., Кокотчикова М.Г., Севастьянов. Л.А. - Лекции по дискретной математике. Часть 1,2 Зарипова Э.Р., Кокотчикова М.Г., Севастьянов. Л.А. - Лекции по дискретной математике. Часть 1,2
1. Лекции по дискретной математике. Часть I. Комбинаторика 1. В пособии излагаются основы комбинаторики и комбинаторных алгоритмов. Предназначено для студентов I, II курсов математических специальностей. Подготовлено на кафедре систем

Математическая логика. Курс лекций Математическая логика. Курс лекций
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого

Математическая логика Математическая логика
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги