Книга: В. И. Игошин «Математическая логика. Учебное пособие»

Математическая логика. Учебное пособие

Серия: "Высшее образование"

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

Издательство: "Инфра-М" (2016)

Формат: 60x90/16, 400 стр.

ISBN: 978-5-16-011691-4

Купить за 968 руб на Озоне

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Теория алгоритмовПодробно изложены три формализации понятия алгоритма - машины Тьюринга, рекурсивные функции и нормальные… — Инфра-М, (формат: 60x90/16, 320 стр.) Высшее образование Подробнее...2013586бумажная книга
Теория алгоритмовПредставлены алгоритмы на языке блок-схем и алгоритмическом языке. Рассмотрена на неформальном уровне… — Academia, Среднее профессиональное образование Подробнее...2013858бумажная книга
Сборник задач по математической логике и теории алгоритмов. Учебное пособиеСборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории… — Курс, (формат: 60x90/16, 392 стр.) Подробнее...20172161бумажная книга

См. также в других словарях:

  • Логика — Гр …   Википедия

  • Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Математическая модель — Математическая модель  это математическое представление реальности[1]. Математическое моделирование  это процесс построения и изучения математических моделей. Все естественные и общественные науки, использующие математический аппарат,… …   Википедия

  • Замятин, Алексей Петрович — Алексей Петрович Замятин Дата рождения: 3 октября 1946(1946 10 03) Место рождения …   Википедия

  • Биекция — Биективная функция. Биекция это отображение, которое является одновременно и сюръективным, и инъективным. При биективном отображении каждому элементу одного множества соответствует ровно один …   Википедия

  • Сюръекция — Сюръективная функция. Отображение называется сюръективным (или сюръекцией, или отображением на …   Википедия

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

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»