x-uni.com
регистрация / вход
сейчас на линии 41 чел.
x-uni.com
x-uni.com
 
Математика
Биология
Литература
Русский язык
ВИДЕО
Физика
Химия
История
Английский
 
ВИДЕО
 
 
регистрация / вход
сейчас на линии 41 чел.
Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Д., 1982

Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Д., 1982

Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Д., 1982.

   Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.

    «Справочник по математической логике» является попыткой коллектива математиков рассказать о некоторых современных достижениях в логике. Из многообразия относящихся сюда тем. мы отобрали те, которые затрагивают основные проблемы данной области или особенно важны для применений в математике.

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

     Мы надеемся, что многие математики приобретут эту книгу из чистого любопытства и перелистают ее, чтобы получить удовольствие (или неудовольствие) от того, что происходит в другой области математики. Трудно представить себе математика, который, потратив десять минут на это, не захотел бы более подробно просмотреть несколько глав и вводных параграфов к другим главам. Это обстоятельство, не представившееся раньше, послужило поводом для написания настоящего справочника.

СОДЕРЖАНИЕ
§ 1. Предисловие
§ 2. Что и как можно выразить в логике первого порядка
§ 3. Формализация логики первого порядка
§ 4. Теорема о полноте
§ 5. За пределами логики первого порядка
Литература

Скачать бесплатно на сайте fileskachat.com

Предложения интернет-магазинов

Математика. Теория вероятностей и дискретная математика: Элементы теории, решение задач

Автор(ы): Баюк Олег Александрович, Маркарян Елена Георгиевна   Издательство: Просвещение, 2013 г.  Серия: Сложные темы ЕГЭ

Цена: 333 руб.   Купить

Пособие предназначено учащимся общеобразовательных учреждений (школ, гимназий, колледжей) для углублённого изучения теории вероятностей и связанных с ней разделов дискретной математики (теории множеств, математической логики, комбинаторики, теории графов и математической статистики) в целях успешной сдачи ЕГЭ по математике. В пособии изложены основные теоретические сведения, необходимые для решения задач, приводятся решения типичных заданий ЕГЭ, а также содержатся задания для самостоятельной работы (с ответами, указаниями к решению или решениями). Книга может быть использована в качестве сборника задач на подготовительных курсах, факультативных занятиях, при самостоятельной подготовке к поступлению в вуз и при последующем обучении в вузе.


Информатика. Учебник 7–9 класс. Часть 1 (Теория)

Автор(ы): Макарова Наталья Владимировна, Кочурова Елена Геннадиевна, Николайчук Галина Семеновна, Титова Юлияна Францевна, Нилова Юлия Николаевна   Издательство: Питер, 2012 г.

Цена: 285 руб.   Купить

Изучение дисциплины "Информатика" проводится на базе учебного комплекта из трех книг: "Информатика. Учебник 7-9 класс. Часть 1 (Теория)", "Информатика. Учебник 7-9 класс. Часть 2 (Практикум)" и "Информатика и ИКТ. Задачник по моделированию. 9-11 класс". Материал учебного комплекта полностью соответствует требованиям Государственного стандарта Министерства образования и науки РФ. Учебник (часть 1) отражает теоретическую составляющую дисциплины и состоит из трех разделов. В разделе "Информационная картина мира" формируется представление об информации и информационных процессах, об объекте, системе и их моделях, даются основы классификации и приводится классификация моделей, рассматриваются основные этапы моделирования. В разделе "Программное обеспечение информационных технологий" изучаются основы алгоритмизации, формируется представление о программах, системном и прикладном программном обеспечении. В разделе "Техническое обеспечение информационных технологий" учащиеся знакомятся с аппаратной частью компьютеров и сетей, с классификацией, историей и перспективами компьютерной индустрии. Здесь же изучаются логические основы построения компьютера. Учебник (часть 1 и часть 2) включен в Федеральный перечень учебников, рекомендованных Министерством образования и науки Российской Федерации к использованию в образовательном процессе в общеобразовательных учреждениях. Учебник может быть использован как для работы в классе, так и для самостоятельной работы. Рекомендовано Министерством образования и науки РФ.


Математика для гуманитариев: задачи и решения

Автор(ы): Просветов Георгий Иванович   Издательство: Альфа-Пресс, 2008 г.

Цена: 215 руб.   Купить

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


Математика. 1 класс. Тетрадь. В 2-х частях. Часть 1. ФГОС

Автор(ы): Истомина Наталия Борисовна, Редько Зоя Борисовна   Издательство: Ассоциация 21 век, 2015 г.  Серия: Математика

Цена: 209 руб.   Купить

Тетрадь на печатной основе содержит материал, который поможет учителю организовать самостоятельную работу учащихся на уроке. Структура тетради соответствует логике построения содержания учебника "Математика, 1 класс", часть 1 (автор Н. Б. Истомина). 15-е издание, исправленное.

ПЕДСОВЕТ / ФОРУМ

Новости образования

Новости науки

флаг италииX-UNI рекомендует репетитора итальянского языка: yuliyavenezia (Скайп).

Репетитор по Скайпу без посредников

Неограниченная аудитория, свободный график. Начните свой бизнес здесь!