Информация о книге

978-5-406-02434-8

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Основы информационных технологий » Информатика » Математическая логика и теория алгоритмов для программистов

Гринченков Д.В., Потоцкий С.И., Математическая логика и теория алгоритмов для программистов

Кнорус, 2013 г., 208 стр., 978-5-406-02434-8 , 218*151*15 мм., тираж: 3000


Описание книги

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

Ключевые слова


  алгоритмы 


Рекомендации

Допущено Министерством образования и науки Российской Федерации.

Поделиться ссылкой на книгу



Содержание книги

1. Теория множеств
2. Основные положения булевой алгебры
3. Математическая логика
4. Расширения традиционной логики
5. Теория алгоритмов
6. Нечеткие множества и выводы
7. Логическое программирование и язык Пролог
8. Задачи и примеры их решения
Приложения


Об авторе

Гринченков Д.В.

Потоцкий С.И.


Последние поступления в рубрике "Информатика"



Наука о данных. Базовый курс Наука о данных. Базовый курс Келлехер Д.

Сегодня наука о данных используется практически во всех сферах: вы видите подобранные специально для вас рекламные объявления, рекомендованные на основе ваших предпочтений фильмы и книги, ссылки на предполагаемых друзей в соцсетях, отфильтрованные......

Теория конфликтов и игр Теория конфликтов и игр Смольяков Э.Р.

Предлагаемая монография представляет собой введение в совершенно новую научную дисциплину - теорию конфликтных равновесий, которая со временем найдет естественные приложения в любых областях человеческой деятельности -......

Homo Roboticus? Люди и машины в поисках взаимопонимания Homo Roboticus? Люди и машины в поисках взаимопонимания Маркофф Д.

Хотим мы этого или нет, но скоро нам придется сосуществовать с автономными машинами. Уже сейчас мы тратим заметную часть времени на взаимодействие с механическими подобиями людей в видеоиграх или в виртуальных системах - от FAQbots до Siri. Кем они......

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Гринченков Д.В., Потоцкий С.И., Математическая логика и теория алгоритмов для программистов в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.