Математическая логика (2017) » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Анализ загрязненной почвы и опасных отходов Анализ загрязненной почвы и опасных отходов Речевая коммуникация в туризме Речевая коммуникация в туризме Как правильно питаться (1986) Как правильно питаться (1986) Exploring Operations Research with R Exploring Operations Research with R Лоция внутренних водных путей Лоция внутренних водных путей Сбор и приготовление зоологических коллекций Сбор и приготовление зоологических коллекций Империя Чингис-хана Империя Чингис-хана Введение в эволюционную информатику Введение в эволюционную информатику Выдра Сахалина (биология и хозяйственное использование) Выдра Сахалина (биология и хозяйственное использование) Химия отравляющих веществ (в 2-х томах) Химия отравляющих веществ (в 2-х томах) Курс теории вероятностей Курс теории вероятностей Go by Example (MEAP v7) Go by Example (MEAP v7) Machine Learning with Python: Master Pandas, Scikit-learn, and TensorFlow for Building Smart IA Models Machine Learning with Python: Master Pandas, Scikit-learn, and TensorFlow for Building Smart IA Models Python Essentials 1: The Official OpenEDG Python Institute beginners course with practical exercises Python Essentials 1: The Official OpenEDG Python Institute beginners course with practical exercises New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms Coding Examples from Simple to Complex: Applications in MATLAB Coding Examples from Simple to Complex: Applications in MATLAB
Анализ загрязненной почвы и опасных отходов Анализ загрязненной почвы и опасных отходов Речевая коммуникация в туризме Речевая коммуникация в туризме Как правильно питаться (1986) Как правильно питаться (1986) Exploring Operations Research with R Exploring Operations Research with R Лоция внутренних водных путей Лоция внутренних водных путей Сбор и приготовление зоологических коллекций Сбор и приготовление зоологических коллекций Империя Чингис-хана Империя Чингис-хана Введение в эволюционную информатику Введение в эволюционную информатику Выдра Сахалина (биология и хозяйственное использование) Выдра Сахалина (биология и хозяйственное использование) Химия отравляющих веществ (в 2-х томах) Химия отравляющих веществ (в 2-х томах) Курс теории вероятностей Курс теории вероятностей Go by Example (MEAP v7) Go by Example (MEAP v7) Machine Learning with Python: Master Pandas, Scikit-learn, and TensorFlow for Building Smart IA Models Machine Learning with Python: Master Pandas, Scikit-learn, and TensorFlow for Building Smart IA Models Python Essentials 1: The Official OpenEDG Python Institute beginners course with practical exercises Python Essentials 1: The Official OpenEDG Python Institute beginners course with practical exercises New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms Coding Examples from Simple to Complex: Applications in MATLAB Coding Examples from Simple to Complex: Applications in MATLAB
Категория: КНИГИ » УЧЕБНАЯ ЛИТЕРАТУРА
Математическая логика (2017)
Добавил: Igor1977 / 7-06-2018, 17:33 /

Название: Математическая логика (2017)
Автор: Алябьева В.Г.
Издательство: Пермь: Пермский государственный национальный исследовательский университет
Год: 2017
Формат: pdf
Страниц: 111
Размер: 25 mb
Язык: Русский

Учебное пособие посвящено основам математической логики и состоит из введения и четырех глав: «Логика высказываний», «Исчисление высказываний», «Логика предикатов первого порядка» и «Исчисление предикатов». Особое внимание уделено проблеме распознавания общезначимости формул логики высказываний и формул логики предикатов, использованию метода резолюций.







[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!