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