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