Теория логического вывода. Учебное пособие для вузов
Здесь можно скачать "Теория логического вывода. Учебное пособие для вузов", в формате fb2 полную версию бесплатно без регистрации и SMS, а
также читать онлайн книгу на сайте ПараКниг (paraknig.me)
Серия: Высшее образование м
Полная версия книги
Рейтинг
Содержание книги - Теория логического вывода. Учебное пособие для вузов Ганичева Антонина Валериановна
Теория логического вывода. Учебное пособие для вузов - описание и краткое содержание, автор Ганичева Антонина Валериановна, читайте бесплатно онлайн на сайте электронной библиотеки
paraknig.me
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики — теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Чтобы оставить свою оценку и/или комментарий, Вам нужно войти под своей учетной записью или зарегистрироваться
Пока никто не оставил впечатление о книге...
Пока никто не оставил цитат из этой книги...
Другие книги авторавсе книги
Рассмотрены методы линейного программирования (графический и симплекс-методы), теория двойственности, транспортная задача (методы «северо-западного угла» и «потенциалов») и ее модификации, необходимое и достаточное условия безусловного экстремума, метод неопределенных множителей Лагранжа, условия Куна–Таккера, геометрический метод решения задачи нелинейного программирования, выпуклое программирование, метод динамического программирования для дискретного и непрерывного случая. Удачно подобраны...
| Автор | Ганичева Антонина Валериановна |
| Жанр |
В пособии кратко и доходчиво изложены основные разделы теории вероятностей: алгебра событий, случайные величины и системы случайных величин, функции случайных величин, случайные процессы, а также предельные теоремы теории вероятностей. Рассмотрено достаточное количество примеров. Приводятся примеры использования вероятностных методов в задачах социально-производственной сферы при обосновании решений, направленных на приобретение навыков вероятностного моделирования для будущей профессиональной...
| Автор | Ганичева А., Ганичева Антонина Валериановна |
| Год | 2017 |
В данном учебном пособии в краткой, доступной и увлекательной форме с достаточным количеством таблиц, рисунков, графиков изложены основы теории множеств и функций, математической логики, теории вероятностей и математической статистики, теории графов и принятия решений. На конкретных примерах социально-правовых ситуаций показано применение рассмотренных методов. Имеется достаточное количество задач для самостоятельного решения с приведенными ответами. Учебное пособие предназначено для студентов,...
| Автор | Ганичева А., Ганичева Антонина Валериановна |
| Жанр | |
| Год | 2017 |
В данном учебнике в краткой, доступной и увлекательной форме с достаточным количеством таблиц, рисунков, графиков изложены основы теории множеств и функций, математической логики, теории графов, теории вероятностей и математической статистики, принятия решений. На конкретных примерах социально-правовых ситуаций показано применение рассмотренных методов. Имеется достаточное количество задач для самостоятельного решения. Предназначено для изучения дисциплины «Математика» по укрупненным группам...
| Автор | Ганичева Антонина Валериановна |
| Жанр | |
| Год | 2021 |
Пособие представляет собой объединенный курс статистики и математической статистики, в котором полно и доступно, с достаточным количеством прикладных примеров показаны основные формы представления экспериментальных данных, рассмотрены статистические показатели, основные вопросы выборочного обследования, статистического изучения взаимосвязи и динамики социально-экономических явлений, проверки статистических гипотез, характеристики изменения явлений, состоящих из соизмеримых или несоизмеримых...
| Автор | Ганичева Антонина Валериановна |
| Год | 2021 |
Рассмотрены вопросы линейной парной регрессии, модели нелинейной регрессии, многофакторный регрессионный анализ, системы эконометрических уравнений, модели временных рядов. Отдельная глава содержит примеры решения исследовательских и практических задач. Материал изложен таким образом, что сначала вводятся основные понятия, перечисляются формулы и алгоритмы с указанием условий их применения и получения, затем рассматривается решение типовых задач, многие из которых прикладного характера. В конце...
| Автор | Ганичева Антонина Валериановна, Ганичев Алексей Валерианович |
| Жанр |
Другие книги жанраМатематика
Генри Э. Дьюдени по праву считается классиком занимательной математики. Многие его задачи, породив обширную литературу и вызвав многочисленные подражания, вошли в ее золотой фонд.
В предлагаемой книге собрано 520 задач и головоломок Дьюдени по арифметике, алгебре, геометрии, разрезанию и составлению фигур. Читателя ждет встреча с постоянно действующими героями Дьюдени — семейством Крэкхэмов, профессором Рэкбрейном и др.
Книга доставит удовольствие всем любителям занимательной математики.
| Автор | Генри Дьюдени |
| Жанр | Математика, Естественнонаучные дисциплины |
| Год | 1975 |
Не часто приходится держать в руках книгу, которая открывает новые миры, в которой сочетаются глубина мысли и блестящая языковая игра; книгу, которой удалось совместить ничем на первый взгляд не связанные сложные области знания. Выдающийся американский ученый изобретает остроумные диалоги, обращается к знаменитым парадоксам пространства и времени, находит параллели между картинами Эшера, музыкой Баха и такими разными дисциплинами, как физика, математика, логика, биология, нейрофизиология,...
| Автор | Даглас Хофштадтер |
| Жанр | Философия, Математика, Естественнонаучные дисциплины, Философия и религия |
| Год | 2001 |
Книга известного американского популяризатора науки Мартина Гарднера, посвященная логическим и математическим парадоксам. Рассчитана на самый широкий круг читателей. Это пятая по счету книга Мартина Гарднера в серии книг по занимательной математике, выпускаемой издательством «Мир». Она посвящена парадоксам и по своей структуре напоминает его предыдущую книгу «Есть идея!» Это тоже «книжка с картинками», сопровождаемыми краткими пояснениями и небольшими комментариями. Слово «парадокс» автор...
| Автор | Мартин Гарднер |
| Жанр | Математика, Естественнонаучные дисциплины |
| Год | 1984 |
Успенский Владимир Андреевич - доктор физико-математических наук, профессор, заведующий кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ им. М. В. Ломоносова. Родился в 1930 году. Автор филологических и культурологических статей, опубликованных в журналах “Новое литературное обозрение”, “Неприкосновенный запас” и других изданиях. Постоянный автор “Нового мира”.
| Автор | Успенский Андреевич |
| Жанр | Математика, Естественнонаучные дисциплины |
Книга посвящена проблемам современной физики и космологии. Рассматривается современная геометрия и ее связь с динамикой, новейшие модели эволюции Метагалактики, обсуждается проблема структуры физического пространства и его размерность. Все эти проблемы теоретической физики и космологии автор излагает для читателей, знакомых с общей физикой в объеме курсов, читаемых в вузах. Книга рассчитана на читателей, интересующихся современными достижениями космологии и физики.
| Автор | Иосиф Леонидович Розенталь |
| Жанр | Математика, Физика, Естественнонаучные дисциплины |
Произведения Э. Эбботта и Д. Бюргера едины по своей тематике. Авторы в увлекательной форме с неизменным юмором вводят читателя в русло важных геометрических идей, таких, как размерность, связность, кривизна, демонстрируя абстрактные объекты в различных «житейских» ситуациях.
| Автор | Дионис Бюргер |
| Жанр | Научная Фантастика, Математика, Фантастика, Естественнонаучные дисциплины |
| Год | 1976 |