Вы находитесь здесь: Главная >Архивы рубрики ‘Основания математики. Математическая логика. Теория чисел

Математическая логика и теория…

Цена: 253 рублей Название: Математическая логика и теория алгоритмов для программистов Автор: Д. В. Гринченков,С. И. Потоцкий Год выпуска: 2010 ISBN: 978-5-406-00120-2 Страниц: 208 Описание: Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки [...]

Теги: , , , , ,

Комментарии0

Сборник задач по алгебре и теории чисел — Л. Б. Шнеперман

Цена: 705 рублей Название: Сборник задач по алгебре и теории чисел Автор: Л. Б. Шнеперман Серия: Учебники для вузов. Специальная литература Год выпуска: 2008 ISBN: 978-5-8114-0885-6 Страниц: 224 Описание: Сборник составлен в соответствии с программой курса «Алгебра и теория чисел». Большое количество задач достаточно, чтобы обеспечить и практические занятия, и домашние задания. Пособие содержит задачи [...]

Теги: , , ,

Комментарии0

Математическая логика. Курс лекций…

Цена: 301 рублей Название: Математическая логика. Курс лекций и практических занятий Автор: С. Д. Шапорев Год выпуска: 2005 ISBN: 5-94157-7026 Страниц: 416 Описание: В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается [...]

Теги: , , ,

Комментарии0

Вводный курс математической логики…

Цена: 294 рублей Название: Вводный курс математической логики Автор: В. А. Успенский, Н. К. Верещагин, В. Е. Плиско Год выпуска: 2002 ISBN: 5-9221-0278-8 Страниц: 128 Описание: В учебном пособии содержится материал основного курса `Введение в математическую логику`, читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого [...]

Теги: , , ,

Комментарии0

Теория алгоритмов — В. Н. Крупский, В. Е. Плиско

Цена: 733 рублей Название: Теория алгоритмов Автор: В. Н. Крупский, В. Е. Плиско Серия: Прикладная математика и информатика Год выпуска: 2009 ISBN: 978-5-7695-5293-9 Страниц: 208 Описание: В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации [...]

Теги: , , , , ,

Комментарии0

Диофантовы уравнения и доказуемость…

Цена: 102 рублей Название: Диофантовы уравнения и доказуемость в математике Автор: Б. З. Мороз Год выпуска: 2008 ISBN: 978-5-94057-375-3 Страниц: 56 Описание: В книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 года) о том, что всякое перечислимое множество является диофантовым.

Теги: , , , ,

Комментарии0

Математическая логика и теория…

Цена: 264 рублей Название: Математическая логика и теория алгоритмов Автор: В. М. Зюзьков, А. А. Шелупанов Серия: Специальность. Для высших учебных заведений Год выпуска: 2007 ISBN: 5-93517-349-2 Страниц: 176 Описание: Изложены базовые понятия и принципы математической логики и теории алгоритмов. Рассмотрен ряд распространенных логических парадоксов, на примере которых показаны трудности, возникающие в логике. Книга содержит [...]

Теги: , , ,

Комментарии0

Высшая арифметика. Введение в теорию чисел — Г. Дэвенпорт

Цена: 247 рублей Название: Высшая арифметика. Введение в теорию чисел Автор: Г. Дэвенпорт Серия: Физико-математическое наследие: математика Год выпуска: 2010 ISBN: 978-5-397-01298-0 Страниц: 176 Описание: В книге известного английского математика Г.Дэвенпорта в доступной форме дается введение в теорию чисел. Рассмотрены разложение числа на множители и простые числа, сравнения, квадратичные вычеты, непрерывные дроби, суммы квадратов, квадратичные [...]

Теги: , , ,

Комментарии0

Арифметика. Алгоритмы. Сложность…

Цена: 244 рублей Название: Арифметика. Алгоритмы. Сложность вычислений Автор: С. Б. Гашков, В. Н. Чубариков Серия: Классический университетский учебник Год выпуска: 2005 ISBN: 5-7107-8904-6 Страниц: 320 Описание: В учебном пособии (2-е изд. — 2002 г.) впервые в отечественной литературе рассматривается связь вопросов арифметики с современными проблемами кибернетики. Книга представляет собой сборник задач по арифметике и [...]

Теги: , , ,

Комментарии0

Математическая логика и теория алгоритмов — А. К. Гуц

Цена: 263 рублей Название: Математическая логика и теория алгоритмов Автор: А. К. Гуц Год выпуска: 2009 ISBN: 978-5-397-00056-7 Страниц: 120 Описание: Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, [...]

Теги: , , , ,

Комментарии0
Samsung презентует Корпоративный стенд..