В этот материал сведены все имеющиеся ссылки на статьи в Дзен, содержащие примеры применения вопросно-ответной базы знаний WolframAlpha, находящейся в свободном (бесплатном) доступе по адресу http://www.wolframalpha.com/, для изучения понятий дисциплины "Дискретная математика". 1. Метод математической индукции в Wolframalpha: 2. Возможности WolframAlpha для логики высказываний: 3. Варианты заданий для реализации в логических симуляторах или среде программирования PC WorX: 4. Основные базисы и нормальные формы для логических формул: 5...

На канале представлено несколько лекций, в которых показаны операции над высказываниями, а также представлено, как изобразить таблицу истинности для сложных высказываний. С использованием вопросно-ответной системы Wolfram|Alpha имеется возможность построения таблицы истинности для сложных высказываний. Приведём несколько примеров. Для этого необходимо зайти на главную форму Wolfram|Alpha по ссылке: https://www.wolframalpha.com/ и в командную строку внести команду с формулой логики высказываний, например, введём команду: (x or y) xor (y xor not x)...