Автоматизированная обучающая система
система, включающая комплекс учебно-методических материалов (демонстрационных, теоретических, практических, контролирующих) и компьютерные программы, управляющие процессом обучения.
переменных, то и вся конъюнкция будет ложной для этого набора значений....
Если все выражения из некоторого списка дизъюнкции ложны на некотором наборе значений переменных, то...
и вся дизъюнкция этих выражений тоже ложна....
и наоборот, если исходное выражение ложно, то его отрицание будет истинно....
Импликация $A \to B$ ложна, если $A=1$ и $B=0$.
На примере занимательных задач авторы знакомят читателей с математической логикой, с понятиями истинного и ложного высказывания, отрицания, конъюнкции, дизъюнкции, таблицы истинности. В приводимых случаях решение получается однозначно и автоматически. В качестве примеров использованы задачи из книг Раймонда М. Смаллиана "Как же называется эта книга?", "Принцесса или тигр?", "Алиса в стране смекалки".
Символом ∪ обозначим дизъюнкцию в неисключающем смысле, для исключающего "или" (дизъюнкции в исключающем...
Таблица истинности для обоих видов дизъюнкции показывает, что неисключающая дизъюнкция истинна, тогда...
И только в одном случае, когда условие истинно, а следствие ложно, вся импликация ложна....
Так, импликация ложна только в одном случае, когда из истинного основания следует ложный вывод....
другое ложно.
В статье рассматриваются основные понятия теории логики, которые изучают в школьном курсе математики и информатики: логически истинное предложение (логическая истина), предикат, ложное высказывание, законы. Приведены основные законы логики и примеры их использования на конкретных задачах. Авторами подчеркивается специфика изучения понятия «логически истинные предложения» в школьном курсе. В статье приведены примеры применения логического мышления на разных этапах деятельности при изучении математики и информатики.
система, включающая комплекс учебно-методических материалов (демонстрационных, теоретических, практических, контролирующих) и компьютерные программы, управляющие процессом обучения.
комплекс технических и программных средств, обеспечивающих проведение лабораторных работ и экспериментальных исследований непосредственно с физическими объектами и (или) математическими, информационно-описательными, наглядными моделями, представленными на экране ЭВМ.
[active record] 1. Запись данных, с которой в данный момент работает оператор при вводе данных или пользователь в результате выполнения программно-техническими средствами поиска необходимых данных (файла) и вывода их на экран монитора (дисплей ЭВМ). 2. Запись файла, к которой обращается программа в процессе работы с нею.