Alexander Sayapin Teacher's site

Проверка правильности логического вывода

Posted on Sat 08 April 2017

In Архив.

tags: дискретная математика учебник


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

В будущем я планирую продолжить выкладку материалов по темам, которые вызывают затруднения у студентов или кажутся интересными мне самому.

Stay tuned! :)

Собственно, текст

Этот текст выпущен под лицензией Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. Пожалуйста, ознакомьтесь с ее условиями, прежде чем использовать этот текст для каких-либо целей.

tags

алфавит (1) архитектура ЭВМ (3) asp.net (1) бгд (22) бисв (23) бкб (22) бме (22) бпэ (23) бпэз (4) бпэзу (1) бпм (19) бпм объявления (7) certbot (1) cheatsheet (1) checkinstall (1) csv (1) дискретная математика (25) экзамен (1) embedded rust (2) english (1) формальные грамматики (1) gdb (2) язык (1) исследование операций (1) jupyter (1) критерии (2) курсовая работа (2) lighttpd (2) low-latency (1) machine learning (3) make (1) make install (1) markdown (1) машинное обучение (1) математическая лингвистика (1) математическая логика (1) математическая статистика (1) Математические основы кмпьютерной графики (1) Математические основы компьютерного моделирования (1) Математические основы компьютерной графики (1) Методы оптимизации (17) методы оптмимизации (1) методы принятия решений (1) миа (6) мии (8) мик (7) мим (7) мио (4) мип (9) мит (44) миу (13) миз (12) ml (1) mono (1) мпм (6) natural language processing (1) nlp (1) nucleo (2) объявления (31) оформление (2) openocd (2) openpgp (1) pandas (1) pgp (1) подтверждение вывода (1) programming (3) python (3) robot (1) robotics (2) setup (6) шпаргалка (1) smartcard (1) ssh (1) ssl (1) STM32 (2) streaming (1) строка (1) тб (21) teaching (1) teaching statement (1) Теоретические основы цифровой обработки изображений (2) тест (1) учебник (1) up board (1) video (1) вкр (2) xls (1)