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

Скачать Проблемы математической логики: сложность алгоритмов и классы вычислимых функций бесплатно

  • ulala
  • 1 сентябрь 2011
  • 12:25:42
  • 823
  • 0
Проблемы математической логики: сложность алгоритмов и классы вычислимых функций


Автор: Мучник А.
Название: Проблемы математической логики: сложность алгоритмов и классы вычислимых функций
Издательство: Мир
Год: 1970
Формат: djvu
Размер:7 Мб

Сборник содержит работы по актуальным проблемам математической логики, еще не получившим достаточного освещения в отечественной литературе.

http://depositfiles.com

Похожие публикации:
Существуют ли неразрешимые проблемы? Математика, сложность и вычисление (Мир математики Т. 43) Существуют ли неразрешимые проблемы? Математика, сложность и вычисление (Мир математики Т. 43)
Существуют ли неразрешимые проблемы? Математика, сложность и вычисление — Как измерить сложность проблемы? Существуют ли простые решения сложных проблем? Эти и подобные вопросы лежат в основе теории сложности вычислений. От ответа на них зависят ее очевидные
Крайзель Г. - Исследования по теории доказательств Крайзель Г. - Исследования по теории доказательств
Сборник работ крупного американского специалиста по математической логике и основаниям математики. В нем дается обзор основных результатов математической теории доказательств и ее методов. Уделяется место происхождению методов теории доказательств и обоснованию
Анучина Н.Н. - Теоретические основы и конструирование численных алгоритмов задач математической физики Анучина Н.Н. - Теоретические основы и конструирование численных алгоритмов задач математической физики
В книге освещаются вопросы, связанные с дискретизацией задач математической физики и конструированием численных алгоритмов для решения на ЭВМ. Излагается ряд методов, прошедших многолетнюю практику. Круг рассматриваемых методов достаточно полно отража етсуществующие
Математическая логика. Курс лекций и практических занятий Математическая логика. Курс лекций и практических занятий
Автор:Шапорев С. Д. Название:Математическая логика. Курс лекций и практических занятий Издательство: СПб.: БХВ-Петербург Год:2005 Страниц:416 Формат:djvu Размер:2.48 Мб В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики:
Поделитесь ссылкой на книгу со своими друзьями:

HTML ссылка
Ссылка для форумов
Прямая ссылка
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Познавательная реклама



  • Журналы, учебники
  • Аудиокниги, аудиокурсы
  • Книги, справочники
    • Популярные книги
    Друзья, партнеры
    2010-2015
    Правообладателям