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

Ключевые слова: логика, математическая логика, учебник скачать бесплатно, логика высказываний, логика предикатов

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

 

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

 

Предлагаемый сборник задач составлен в соответствии с программой универсигетского курса "Элементы математической логики и алгебры множеств". Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики. Задачник снабжен ответами и указаниями, каждому разделу предпослано небольшое теоретическое введение. Сборник может быть использован как пособие для учащихся Юношеских математических школ и всех самостоятельно изучающих соответствующие разделы математики.

Ключевые слова: логика, математическая логика, алгебра множеств, сборник задач, учебник скачать бесплатно, булева алгебра, релейно-контактные схемы, бинарные отношения

Книга представляет собой учебное пособие по математической логике, осебенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчётливому выделению основных идей и тщательной проработке деталей, и повышенное внимание к гуманитарным аспектам предмета - в частности, к его связям с естественным языком и лингвистикой. Излагаются семантика и сиснтаксис логики предложений и логики предикатов, элементы теории алгоритмов, формальная арифметика (включая теорему Гёделя о неполноте арифметики). Центральное место занимает теория доказательства, излагаемая на основе исчисления есттественного вывода. Книга содержит много задач и упражнений.
Для студентов математических и физико-математических факультетов, факультетов и отделений информатики, теоретической и прикладной лингвистики, искусственного интеллекта.

 

Ключевые слова: математическая логика, логика, учебник скачать бесплатно, логика предикатов, теория алгоритмов, формальная арифметика, теорема Гёделя о неполноте арифметики, теория доказательства, лингвистика

Рассматриваются основные темы дискретной математики и математической логики: теория множеств, элементы комбинаторики, теория графов, теория переключательных функций и автоматов, теория кодирования, формальная логика, логические исчисления, формальные теории и теория алгоритмов, элементы теории нечетких множеств. Сложные вопросы математики рассматриваются на простых примерах. Большая часть материала снабжена методическими разработками авторов. Имеются задания для самостоятельной работы студентов. Для студентов вузов, обучающихся по специальностям «Прикладная информатика в экономике», «Экономика и управление на предприятии», а также для преподавателей.

 

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

 

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

 

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

 

Ключевые слова: логика, учебник по логике скачать бесплатно, логика для юристов, история логики, формальная логика, логика как наука, суждение, вопрос, умозаключение, понятие, определение, классификация, аргументация, критика

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

 

Ключевые слова: математические методы в строительстве, скачать книгу бесплатно, скачать учебник бесплатно, математические модели, математическая статистика