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) asp.net (1) бгд (22) бисв (22) бкб (22) бме (22) бпэ (23) бпэз (3) бпэзу (1) бпм (13) бпм объявления (7) certbot (1) cheatsheet (1) checkinstall (1) csv (1) дискретная математика (21) экзамен (1) embedded rust (2) english (1) формальные грамматики (1) gdb (2) язык (1) jupyter (1) критерии (2) курсовая работа (2) lighttpd (2) low-latency (1) machine learning (3) make (1) make install (1) markdown (1) машинное обучение (1) математическая логика (1) Математические основы кмпьютерной графики (1) Математические основы компьютерного моделирования (1) Методы оптимизации (9) методы оптмимизации (1) методы принятия решений (1) миа (1) мии (7) мик (7) мим (2) мип (8) мит (34) миу (8) миз (7) ml (1) mono (1) natural language processing (1) nlp (1) nucleo (2) объявления (28) оформление (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) теоретические основы цифровой обработки изображений (1) тест (1) учебник (1) up board (1) video (1) вкр (2) xls (1)