Электротехника, Практикум, Плиско В.Ю., 2020.
Цель учебного пособия — помочь учащимся научиться рассчитывать линейные электрические цепи постоянного и переменного тока (однофазные и трехфазные), параметры машин переменного тока и выбирать диоды для различных схем выпрямителей.
Включает шесть практических работ по следующим разделам: «Электрические цепи постоянного тока». «Однофазные электрические цепи синусоидального тока», «Трехфазные цепи». «Машины переменного тока», «Электронные выпрямители», которые способствуют закрепление теоретических знаний.
Изложенный материал иллюстрирован примерами, помогающими решить типовые задачи.
Настоящий практикум предназначен для учащихся учреждений профессионально-технического и среднего специального образования, изучающих электротехнику.
Плиско
Электротехника, Практикум, Плиско В.Ю., 2020
Скачать и читать Электротехника, Практикум, Плиско В.Ю., 2020Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004
Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004.
В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
Скачать и читать Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
Математическая логика и теория алгоритмов, Крупский В.Н., Плиско В.Е., 2013
Математическая логика и теория алгоритмов, Крупский В.Н., Плиско В.Е., 2013.
Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки «Информатика и вычислительная техника», «Информационные системы», «Фундаментальная информатика и информационные технологии» (квалификация «бакалавр»).
Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений.
Для студентов учреждений высшего профессионального образования. Может быть полезно широкому кругу читателей, интересующихся основами математической логики и теории вычислимости.
Скачать и читать Математическая логика и теория алгоритмов, Крупский В.Н., Плиско В.Е., 2013Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки «Информатика и вычислительная техника», «Информационные системы», «Фундаментальная информатика и информационные технологии» (квалификация «бакалавр»).
Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений.
Для студентов учреждений высшего профессионального образования. Может быть полезно широкому кругу читателей, интересующихся основами математической логики и теории вычислимости.
Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2007
Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2007.
Вучебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики. Библиогр. 15 назв.
ВВЕДЕНИЕ.
Логику можно определить как науку о правильных способах рассуждения, т. е. таких способах рассуждения, при которых из верных исходных положений получаются верные результаты. Конечно, можно рассуждать и без науки о правильных рассуждениях. Однако в некоторых случаях потребность в такой науке все же возникает. В частности, такая ситуация сложилась в математике в конце XIX — начале XX вв., когда были обнаружены парадоксы в теории абстрактных множеств, разработанной Г. Кантором. Анализ парадоксов потребовал внимательного исследования рассуждений, применяемых в математике, и тем самым вызвал необходимость в развитии науки о рассуждениях, т. е. логики. Чтобы логика могла обслуживать самую точную из наук — математику, она сама должна быть точной наукой, т. е. она должна иметь дело с точными математическими понятиями и применять точные математические методы. Такова математическая логика — наука о математических рассуждениях, пользующаяся математическими методами.
ОГЛАВЛЕНИЕ.
ГЛАВА 1 ЭЛЕМЕНТЫ ТЕОРИИ МНОЖЕСТВ.
ГЛАВА 2 ЯЗЫКИ ПЕРВОГО ПОРЯДКА.
ГЛАВА 3 ЭЛЕМЕНТЫ ТЕОРИИ ДОКАЗАТЕЛЬСТВ.
ГЛАВА 4 ТЕОРЕМА ГЁДЕЛЯ О ПОЛНОТЕ.
ГЛАВА 5 ТЕОРИЯ АЛГОРИТМОВ.
Список рекомендуемой литературы.
Предметный указатель.
Бесплатно скачать электронную книгу в удобном формате, смотреть и читать: Скачать - pdf - Яндекс.Диск.
Вучебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики. Библиогр. 15 назв.
ВВЕДЕНИЕ.
Логику можно определить как науку о правильных способах рассуждения, т. е. таких способах рассуждения, при которых из верных исходных положений получаются верные результаты. Конечно, можно рассуждать и без науки о правильных рассуждениях. Однако в некоторых случаях потребность в такой науке все же возникает. В частности, такая ситуация сложилась в математике в конце XIX — начале XX вв., когда были обнаружены парадоксы в теории абстрактных множеств, разработанной Г. Кантором. Анализ парадоксов потребовал внимательного исследования рассуждений, применяемых в математике, и тем самым вызвал необходимость в развитии науки о рассуждениях, т. е. логики. Чтобы логика могла обслуживать самую точную из наук — математику, она сама должна быть точной наукой, т. е. она должна иметь дело с точными математическими понятиями и применять точные математические методы. Такова математическая логика — наука о математических рассуждениях, пользующаяся математическими методами.
ОГЛАВЛЕНИЕ.
ГЛАВА 1 ЭЛЕМЕНТЫ ТЕОРИИ МНОЖЕСТВ.
ГЛАВА 2 ЯЗЫКИ ПЕРВОГО ПОРЯДКА.
ГЛАВА 3 ЭЛЕМЕНТЫ ТЕОРИИ ДОКАЗАТЕЛЬСТВ.
ГЛАВА 4 ТЕОРЕМА ГЁДЕЛЯ О ПОЛНОТЕ.
ГЛАВА 5 ТЕОРИЯ АЛГОРИТМОВ.
Список рекомендуемой литературы.
Предметный указатель.
Бесплатно скачать электронную книгу в удобном формате, смотреть и читать: Скачать - pdf - Яндекс.Диск.
Теория алгоритмов, Крупский В.Н., Плиско В.Е., 2009
Теория алгоритмов, Крупский В.Н., Плиско В.Е., 2009.
В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия алгоритма; даны начала алгоритмической теории множеств; представлены наиболее известные результаты об алгоритмической неразрешимости, а также элементы теории сложности вычислений.
Для студентов высших учебных заведений. Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.
Купить бумажную или электронную книгу и скачать и читать Теория алгоритмов, Крупский В.Н., Плиско В.Е., 2009В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия алгоритма; даны начала алгоритмической теории множеств; представлены наиболее известные результаты об алгоритмической неразрешимости, а также элементы теории сложности вычислений.
Для студентов высших учебных заведений. Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.
Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004
Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004.
В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Книга предназначена для студентов математических факультетов университетов, педагогических институтов, а также других ВУЗов с углубленным изучением информатики и кибернетики.
Скачать и читать Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Книга предназначена для студентов математических факультетов университетов, педагогических институтов, а также других ВУЗов с углубленным изучением информатики и кибернетики.