Электронная библиотека

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






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

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

Игошин В.И. Математическая логика и теория алгоритмов

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





Разместил: rivasss

18-04-2016, 22:08

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





Игошин В.И. Математическая логика и теория алгоритмов

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


Название: Математическая логика и теория алгоритмов
Автор: Игошин В.И.
Издательство: Академия
Год: 2008 - 2-е изд.
Cтраниц: 448
Формат: pdf
Размер: 52 мб
Язык: русский


Скачать Игошин В.И. Математическая логика и теория алгоритмов











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

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

Теория алгоритмов Теория алгоритмов
Теория алгоритмов — Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность.

Математическая логика (+CD-R) Математическая логика (+CD-R)
Математическая логика — Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой.

Математическая логика и теория алгоритмов для программистов Математическая логика и теория алгоритмов для программистов
Математическая логика и теория алгоритмов для программистов — Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с

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

Математическая логика и ее применения Математическая логика и ее применения
Предлагаемая читателю книга является сборником, составленным из докладов, представленных выдающимися зарубежными учеными на первом Международном конгрессе по логике, методологии и философии науки, состоявшемся в 1960 г. в Станфорде (США). В сборник

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

Математическая лоrика и теория алrоритмов Математическая лоrика и теория алrоритмов
Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам втoporo курса отделения компьютерных наук Омского государственноrо университета в 2002 rоду.

Математика 19 века. Математическая логика. Алгебра. Теория чисел. Теория вероятностей Математика 19 века. Математическая логика. Алгебра. Теория чисел. Теория вероятностей
Содержание: математическая логика алгебра и алгебраическая теория чисел проблемы теории чисел теория вероятностей

Математическая логика Математическая логика
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и




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





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

Ваше Имя:
Ваш 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

Книги




Союз образовательных сайтов