Столяр А.А. Логическое введение в математику

формат djvu
размер 1.46 МБ
добавлен 21 сентября 2010 г.

Издательство "Вышэйшая школа", Минск 1971.

Книга содержит изложение вводного курса, предназначенного для студентов первого года обучения математических специальностей педагогических вузов. Цель этого курса - привить студентам навыки современного математического мышления и его точного, краткого и ясного выражения, облегчить им последующее изучение различных математических дисциплин и методики современного преподавания математики в школе.
В книге имеются упражнения для самостоятельной работы студентов. Она может быть использована и на факультативных занятиях в старших классах средней школы.

Похожие разделы

Смотрите также

Бурбаки Н. Теория множеств. Книга первая - основные структуры анализа

формат djvu
размер 9.54 МБ
добавлен 26 апреля 2009 г.

Трактат Н. Бурбаки „Начала математики" имеет целью изложить всю современную математику с единой и оригинальной точки зрения. Много выпусков этого трактата уже вышло во Франции. Они вызвали большой интерес математиков всего мира как новизной изложения, так и высоким научным уровнем. Настоящее издание представляет собой перевод первой книги первой части этого трактата, т. е. книги, в которой закладываются наиболее фундаментальные и общие понятия, с...

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

формат djvu
размер 867.4 КБ
добавлен 09 ноября 2010 г.

Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. основу пособия составляют конспекты лекций, которые читались студентам вторго курса отделения компьютерных наук Омского гос. универститета в 2002 г. Для студентов специальностей 075200 - "Компьютерная безопасность" и по специальности 220100 - "Вычислительные машины, комплексы, системы и сети". Содержание разделов: Логика. Классическая логика. Логика высказываний....

Калужнин Л.А. Элементы теории множеств и математической логики в школьном курсе математики

формат djvu
размер 1.38 МБ
добавлен 18 января 2010 г.

Просвещение. 1978 г. - 89 с. Краткое изложение элементов теории множеств и математической логики. Показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики. Содержание: Как возникла формальная и математическая логика. Начала теории множеств. Алгебра высказываний и алгебра множест...

Лекции - Математическая логика

Статья

формат doc
размер 1.31 МБ
добавлен 04 марта 2011 г.

Бахтадзе Н. Н. (Институт проблем управления им. В. А. Трапезникова РАН). Логика высказываний. Алгебра высказываний. Исчисление высказываний. Метод дедуктивного вывода. Принцип резолюции. Проблемы исчисления высказываний. Описание высказываний на языке Prolog. Логика предикатов. Алгебра предикатов. Исчисление предикатов. Проблемы в исчислении предикатов. Логическое программирование.

Лоскутова Е.С., Нахман А.Д. Математическая логика. Типовые расчёты

формат pdf
размер 342.57 КБ
добавлен 22 января 2010 г.

Краткая теория + Пример выполнения типового расчёта (12 задач с решением) + Варианты заданий. Методические указания. Тамбов. Изд. ТГТУ, 2008 г. - 20 с. Основные понятия и утверждения математической логики (алгебры высказываний), руководство к решению типовых задач и образцы решений. Для студентов инженерно-технических специальностей. Содержание: I. Теоретическая часть 1. Понятие высказывания. 2. Логические операции над высказываниями 3. Формул...

Мартин-Лёф П. Очерки по конструктивной математике

формат djvu
размер 1.24 МБ
добавлен 07 сентября 2011 г.

М.: Мир, 1975. - 136 с. Эта книга представляет собой введение в конструктивную математику и рассчитана на математиков, желающих уточнить свои интуитивные представления о конструктивности; она позволяет без особых технических усилий ознакомиться с точными результатами в этой области. В книге излагается найденный автором конструктивный вариант некоторых первоначальных идей Брауэра из области конструктивизации математического анализа. Книга доступна...

Презентация - Основы логики

Презентация

формат ppt
размер 103.5 КБ
добавлен 24 августа 2011 г.

16 страниц.Логическое высказывание В алгебре логики простым высказываниям ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита. Виды сложных высказываний Соединительные виды Разделительные виды Условные виды Эквивалентные Высказывания с внешним отрицанием Основная задача математической логики Логические операции Обозначение операции в алгебре высказываний Обозначение в языках Обозначение в языках про...

Харин Н.Н. Математическая логика и теория множеств

формат djvu
размер 2.38 МБ
добавлен 04 июня 2011 г.

М.: Росвузиздат, 1963. - 192 с. Настоящая работа имеет своей целью показать, что одной из важнейших закономерностей в развитии современной математики является взаимодействие абстрактного и конкретного, что развитие математики отражает развитие объективной действительности, носит диалектический характер. Отсюда следует, что познание сущности математических понятий предполагает диалектико-материалистический подход, так как математика - наука о кол...

Чудинов К.М. (состав.) Математическая логика и теория алгоритмов

формат doc
размер 422.67 КБ
добавлен 17 июня 2010 г.

Методические указания для студентов II курса заочного отделения специальности ИСТ. / Сост. К. М. Чудинов; Пермь: Изд-во Перм. гос. техн. ун-та, 2007. 48 с. Приводятся необходимые для изучения курса «Математическая логика и теория алгоритмов» теоретические сведения, примерами решения задач, задачи для самостоятельного решения и список рекомендуемой литературы. Программа курса: Логика высказываний. Логические операции. Формулы логики высказываний...

Шпоры по матлогике

pottee

формат doc
размер 24.12 КБ
добавлен 14 апреля 2010 г.

УГАТУ, 2005 год. Определение высказывания Логическое следование Осн. Правила. Вывода Формулы логики предикатов и т. д.