Точность мысли     Погружение     Радуга книг     Поиск     О нас
Ваш путеводитель
по различным областям знаний
Источник знаний  
Источник знаний|Главная страница Поиск Напишите нам Карта сайта Добавить в избранное

Радуга книг


Разработка и дизайн сайтов WebPalette.RU
Разделы: Учебная литература | Студентам ВУЗов | Естественные науки. Математика | Математика | Основания математики. Математическая логика. Теория чисел
Элементов на странице: 10 20 50 100
Излагаются основные понятия школьной (элементарной) математики: элементарная функция, угол, вектор, плоскость, планиметрия, измерение величин, площадь и мера фигуры, геометрическое построение, решение алгебраических уравнений, число, точка, пространство, ...
Настоящее издание поможет систематизировать полученные ранее знания, а также подготовиться к экзамену или зачету и успешно их сдать. Пособие предназначено для студентов высших и средних образовательных учреждений.
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая ...
Учебное пособие написано в соответствии с программой курса "Числовые системы" для студентов математических специальностей университетов. Изложены основные вопросы аксиоматического построения систем натуральных, целых, рациональных, действительных и ...
В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия ...
В книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 года) о том, что всякое перечислимое множество является диофантовым.
Излагаются основы теории чисел (теория делимости, сравнения, вычеты, диофантовы уравнения). Коротко затрагиваются новые веяния и взаимосвязи со смежными дисциплинами (алгебраический ракурс, алгоритмические проблемы, эллиптические кривые). Изложение ...
Настоящая книга знакомит читателей с вопросами, которые решает теория чисел, с некоторыми примерами их решения и основными понятиями. В ней говорится о предмете, методах и приложениях теории чисел, даются краткие исторические сведения, излагаются ...
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические ...
В учебно-практическом пособии рассмотрены основные методы и приемы теории чисел. Приведенные в учебном материале примеры и задачи позволяют успешно овладеть знаниями по изучаемой дисциплине. Пособие содержит программу курса, задачи для самостоятельного ...
Предлагаемая вниманию читателя книга известного английского математика И.Лакатоса посвящена проблемам математической логики. Она написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы ...
Вниманию читателей предлагается книга советского математика И.Т.Демидова, посвященная основаниям арифметики - разделу математики, в котором изучаются числа, их основные свойства и построение различных классов чисел. В первой главе проведено ...
В книге известного английского математика Г.Дэвенпорта в доступной форме дается введение в теорию чисел. Рассмотрены разложение числа на множители и простые числа, сравнения, квадратичные вычеты, непрерывные дроби, суммы квадратов, квадратичные формы и ...
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные ...
Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (В.И.Игошин "Задачи и упражнения по математической логике и теории алгоритмов"). Подробно изложены основы ...
В книге изложен ряд разделов и вопросов дискретной математики и математической логики, изучаемых главным образом на младших курсах вузов. В данное издание включены не только основные понятия и теоретические положения дисциплины, но также примеры, методы, ...
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и ...
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория ...
Математическая логика: Учебное пособие. + CD. Игошин В.И.
1 2 [След.] [В конец]

Новые поступления
Погружение
02.04.2011
3. Фрейд. Я И ОНО
02.04.2011
3. Фрейд. О психоанализе. Пять лекций
10.03.2010
Фридрих Ницше. Так говорил Заратустра
10.03.2010
Фридрих Ницше. Злая мудрость. Афоризмы и изречения
03.03.2010
М. Хайдеггер. Что значит мыслить?
11.01.2010
Фридрих Ницше. Рождение трагедии или Эллинство и пессимизм
08.12.2009
Б. Рассел. Сущность религии
08.12.2009
Б. Рассел. Религия и наука
08.12.2009
Б. Рассел. Почему я не христианин
08.12.2009
Б. Рассел. Мистицизм и логика
Точность мысли
18.05.2010
В раздел Естественные науки | Экология добавлено 127 терминов
18.05.2010
В раздел Общественные науки | Безопасность жизнедеятельности добавлено 31 терминов
18.05.2010
В раздел Медицина добавлено 3 терминов
04.04.2010
В раздел Гуманитарные науки | Психология добавлено 107 терминов
31.03.2010
В раздел Естественные науки | Физика добавлено 1 терминов
31.03.2010
В раздел Технические науки | Строительство добавлено 82 терминов
31.03.2010
В раздел Общественные науки | Право добавлено 20 терминов
Радуга книг
09.05.2012
Наталья Воскобойник
Изучай буквы от А до Я
09.05.2012
Верещагина И.Н.
English 4: Reader / Английский язык. Книга для чтения. 4 класс
09.05.2012
И. Н. Верещагина, О. В. Афанасьева
English 5: Workbook / Английский язык. 5 класс. Рабочая тетрадь
09.05.2012
Л. Е. Журова, А. О. Евдокимова, М. И. Кузнецова
Русский язык. 1 класс. Обучение грамоте
09.05.2012
Е. Панцевич
Учимся с Познавайкиной. Растительный мир
09.05.2012
Е. А. Никишова, В. С. Рохлов
Биология. 11 класс. Курс комплексной подготовки (комплект из 3 книг)
09.05.2012
И. Л. Саво
Один дома, или Дом, безопасный для дошкольника
09.05.2012
Э. И. Матекина
Окружающий мир для начальной школы в таблицах и схемах. Круговорот веществ, живая и неживая природа, органы и системы человека
09.05.2012
И. Н. Пономарева, О. А. Корнилова, Л. В. Симонова
Биология. 10 класс. Профильный уровень
09.05.2012
А. А. Данилов, Л. Г. Косулина
История России. С древнейших времен до конца XVI века. 6 класс

RSS лента
Администрирование
Источник знаний © 2009 Все права защищены