Книги по экономической статистике: статистика труда, статистика населения и трудовых ресурсов, статистика финансов, статистика кредитных операций и операций с ценными бумагами и тд. Вы можете скачать книгу бесплатно.
Робинсон А. Введение в теорию моделей и метаматематику алгебры. М.: Наука, 1967 Скачать бесплатно
В последние годы сильно ощущается отсутствие в советской литературе книг, содержащих основные методы и теоремы теории моделей и предназначенных для первоначального изучения. Этот пробел будет в некоторой степени заполнен предлагаемым советскому читателю переводом книги А. Робинсона, известного математика, внесшего существенный вклад в теорию моделей. А. Робинсону принадлежит теория идеалов, нестандартный анализ, метод модельной полноты и др. А. Робинсон является также страстным пропагандистом теории моделей и главой Иерусалимской школы. Книга А. Робинсона, возникшая из переработки трех его старых монографий ([1], [3], [9]), является пока лучшей книгой в мировой литературе для первоначального ознакомления с теорией моделей и содержит основные достижения теории моделей узкого исчисления предикатов, полученные до 1963 г. В ней подробно изложены основные теоремы общей теории классов моделей и основные методы доказательства разрешимости теории. Из методов доказательства разрешимости теории, применявшихся в последние годы для решения конкретных задач и не изложенных в книге А. Робинсона, можно отметить метод перекидывания.
Ключевые слова: математические методы, скачать учебник бесплатно, скачать книгу бесплатно, математические модели
Тарский А. Введение в логику и методологию дедуктивных наук. М.: ГИИЛ, 1948. Логика. Скачать бесплатно.
Книга известного польского математика и логика А. Тарского, представляющая собой популярное введение в математическую логику и методологию дедуктивных наук, заслуживает внимания советского читателя. Вышедшая в 1936 Г, на польском языке, она появилась в 1937 г. в немецком переводе, но была выпущена известным немецким книгоиздательством Шпрингера не в Германии, а в Вене, Правда, зто не помогло издательству; часть издания, которую оно не успело распространить до «аншлюса», так и осталась лежать на его складах... по соображениям расового порядка, В 1941 г. просмотренное и дополненное издание книги вышло на английской языке в Нью-Йорке. С этого издания и выполнен русский перевод.
Ключевые слова: логика, учебник по логике скачать бесплатно, методология
Новиков П.С. Элементы математической логики (2-е изд.). М.: Наука, 1973. Логика. Скачать бесплатно.
Настоящее издание по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин «истинная в данном исчислении формула», который в первом издании использовался как синоним термина «выводимая в данном исчислении формула». Таким образом, исключена возможность смешения этого понятия с содержательной истинностью формул.
Мендельсон Э. Введение в математическую логику. М.: Наука, 1971. Логика. Скачать бесплатно.
В книге Э, Мендельсона «Введение в математическую логику» дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини «Введение в метаматематику», которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики.
Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании.
Переводчик и редактор перевода позволили себе без специальных оговорок и примечаний исправить ряд неточностей и опечаток, имевшихся в оригинале, а также привести терминологию и обозначения в соответствие с принятыми в русской литературе.
Книгу Э. Мендельсона можно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение
Ключевые слова: логика, математическая логика, скачать учебник бесплатно, логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов, теория моделей, аксиоматическая теория множеств
Клини С. Математическая логика. М.: Мир, 1973. Логика. Скачать бесплатно.
Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда «(Введение в метаматематику» (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными, функциями и основаниями математики. Новая его книга представляет собой существенно усовершенствованный, расширенный и приближенный к нуждам университетского преподавания вариант «чисто логической» части этой всемирно известной монографии. Тщательно продуманные иллюстративные упражнения помогают читателю усвоить излагаемый, материал. Книга может быть использована,как учебное пособие по курсу математической логики в университетах и пединститутах; таким образом, она адресована прежде всего преподавателям, аспирантам и студентам. Она привлечет также внимание всех занимающихся или интересующихся математической логикой.
Клини С. Введение в метаматематику. М.: Иностр. литература, 1957. Логика. Скачать бесплатно.
Книга является самой обширной из имеющихся монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как иа специалистов по математической логике и теории рекурсивных функций, так и на лиц, желающих впервые, но серьезно, изучить эти науки.
Интрилигатор М.Математические методы оптимизации и экономическая теория М. Прогресс, 1975, 597 с. Скачать бесплатно
Книга представляет собой руководство по теории математического программирования и ее экономическому применению. В ней последовательно излагаются постановка общей задачи математического программирования, классические методы оптимизации, линейное и нелинейное программирование, теория игр и т. д. Рассматриваются проблемы, связанные с приложением математического аппарата статической оптимизации в теории потребления, теории производства и т. д. Книга будет полезна всем тем, кто занимается вопросами применения экономико-математических методов в народном хозяйстве.
Ключевые слова: математические методы, скачать книгу бесплатно, скачать учебник бесплатно, математические модели, линейное программирование, динамическое программирование, целочисленное программирование, общая задача линейного программирования, теория игр, нелинейное программирование
Учебное пособие по дискретной математике. Содержит разделы: алгебра высказываний, алґебра предикатов и множеств, отображения, элементы комбинаторики, отношения, булевы функции, элементы теории графов Отдельный раздел составляют задачи и упражнения Для студентов и преподавателей вузов, инженеров-системотехников, программистов.
Горбатов В. А. Фундаментальные основы дискретной математики. Информационная математика. — М.: Наука. Физматлит, 2000.—544 с. Дискретная математика. Скачать бесплатно.
В учебнике излагаются основы многосортных множеств, математической логики, теории графов и мографов, теории формальных грамматик и автоматов, прикладной теории алгоритмов и хврактеризационного анализа, которые в совокупности образуют основы дискретной математики, представляющие собой методически взаимосвязный курс "Компьютерно-информационная математика". Для студентов технических университетов, академий и институтов, обучающихся по специальности "Информатика и вычислительная техника", а также научных работников и инженеров, работающих в области информатики и вычислительной техники.
Гильберт Д., Аккерман В. Основы теоретической логики. М.: ГИИЛ, 1947. Логика. Скачать бесплатно.
Во втором издании «Основ теоретической логики сохранены везде конструкция и последовательность первого издания. Однако достижения науки за последнее время сделали необходимым внимательный просмотр материала и внесение различных улучшений и дополнений , которое необходимо было сделать, не выходя за рамки прежнего объема книги.
Ключевые слова: логика, скачать учебник бесплатно, основы логики