РЕШАЕМ МАТЕМАТИКУ ВМЕСТЕ!
 
СТУДЕНТАМ:    Учебники     Решебники    Шпаргалки    Контрольные работы   Видео уроки

ШКОЛЬНИКАМ:  ГДЗ - 1 класс  2 класс  3 класс  4 класс  5 класс  6 класс  7 класс  8 класс  9 класс  10 класс  11 класс

Главная » Файлы » Учебные материалы [ Добавить материал ]

В разделе материалов: 40
Показано материалов: 1-10
Страницы: 1 2 3 4 »

Самохин А.В. Математическая логика и теория алгоритмов. - М, 2003. - 237 с
Математическая логика и теория алгоритмов | Просмотров: 2642 | Загрузок: 506 | Добавил: nikka | Дата: 21.12.2011 | Комментарии (0)

Галиев Ш.И. Математическая логика и теория алгоритмов. - Казань, КГТУ, 2002. - 258 с.
Математическая логика и теория алгоритмов | Просмотров: 6297 | Загрузок: 2072 | Добавил: nikka | Дата: 20.12.2011 | Комментарии (0)

Пензов Ю.П. Элементы математической логики и теории множеств. - Саратов, Изд. Саратовского ун-та, 1968. -144 с
Математическая логика и теория алгоритмов | Просмотров: 2752 | Загрузок: 470 | Добавил: nikka | Дата: 20.12.2011 | Комментарии (0)

Шапиро С. И. Решение логических и игровых задач (логико-психологические этюды). — М.: Радио и связь, 1984.— 152 с, ил.— (Кибернетика)
Математическая логика и теория алгоритмов | Просмотров: 3201 | Загрузок: 474 | Добавил: nikka | Дата: 20.12.2011 | Комментарии (0)

Трахтенброт Б.А. Алгоритмы и машинное решение задач. Изд.2. - М., Физматлит, 1960. - 120 с.
Математическая логика и теория алгоритмов | Просмотров: 2217 | Загрузок: 312 | Добавил: nikka | Дата: 20.12.2011 | Комментарии (0)

Э. Нагель, Дж. Р. Ньюмен Теорема Гёделя. - Красанд, 2010 г. -121 с. ISBN: 978-5-396-00092-6
Математическая логика и теория алгоритмов | Просмотров: 1846 | Загрузок: 309 | Добавил: nikka | Дата: 20.12.2011 | Комментарии (0)

Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М.: Наука, 1967.- 153c.
Математическая логика и теория алгоритмов | Просмотров: 1514 | Загрузок: 291 | Добавил: nikka | Дата: 20.12.2011 | Комментарии (0)

Градштейн И.С. Прямая и обратная теоремы. Элементы алгебры логики. Изд.2, перераб. М., ГИТТЛ, 1950. - 1959. 128 с.
Математическая логика и теория алгоритмов | Просмотров: 2041 | Загрузок: 394 | Добавил: nikka | Дата: 20.12.2011 | Комментарии (0)

Светлов В. А. Философия математики. Основные программы обоснования математики XX столетия: Учебное пособие. — М: Ком Книга, 2006. — 208 с. ISBN 5-484-00453-5
Математическая логика и теория алгоритмов | Просмотров: 1811 | Загрузок: 354 | Добавил: nikka | Дата: 19.12.2011 | Комментарии (0)

Н.К.Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. 2-е изд., исправленное. М.:МЦНМО, 2002, 192 с.
Математическая логика и теория алгоритмов | Просмотров: 2197 | Загрузок: 425 | Добавил: nikka | Дата: 19.12.2011 | Комментарии (0)




ВЫБОР ПО КАТЕГОРИЯМ:

Аналитическая геометрия и алгебра [0]
Высшая алгебра [52]
История математики [55]
Математика для технарей [21]
Математика для экономистов, юристов и т.д.. [5]
Математическая логика и теория алгоритмов [40]
Теория вероятностей и мат. статистика [28]
Теория чисел [33]
Учебники по математике [46]



При полном или частичном использовании материалов
активная ссылка на портал VMATE.RU обязательна


Высшая математика онлайн - всё бесплатно, наш портал создан специально для студентов кому интересна высшая математика. У нас на портале возможно скачать бесплатно учебники по высшей математике, книги по математике или сделать заказ учебных пособий, скачать контрольные по высшей математике, заказать, задачники по высшей математики и решебники. Оставить запрос по предмету - аналитическая геометрия или задать вопрос - справочная по математике Заказать решение и т.д. Высшая математика онлайн - математический портал и здесь собраны шпаргалки по высшей математике и видео уроки. Добро пожаловать! Вход