Журналы
Email: Пароль: Войти Регистрация
Программа, о которой рассказано в статье, была составлена автором для решения логических задач. Программа позволяет проверить выводимость определенного суждения из произвольно заданной системы предпосылок, позволяет проверить систему на полноту и непротиворечивость. Приемы работы с программой и возможности метода сопровождаются не только строгими рассуждениями, но и занимательными примерами.
Статья находится в закрытом доступе.
Для пополнения баланса выберите страну, оператора и отправьте СМС с кодом на указанный номер. Отправив одну смс, вы получаете доступ к одной статье.
Закрыть