Введение в формальную логику и методы анализа правильности рассуждений. Работа с формальными языками и доказательствами позволяет отделять структуру вывода от содержания утверждений. Комплект курса на английском языке; здесь представлена карточка со ссылками на материалы MIT OpenCourseWare.
Проверенных отсылок пока нет. Добавить их можно в редакторе страницы.
Комментариев пока нет. Здесь появится первое реальное сообщение читателя.
Других опубликованных произведений этого автора пока нет.
Насколько хорошо этот материал помогает разобраться в каждом вопросе?
Краткие аннотации и разные подходы к содержанию. Выше показываются описания с лучшими оценками полезности.
Разбор трудных мест, понятные примеры и ссылки для дальнейшего изучения.
Здесь можно объяснить непонятное слово, обычай или предмет из этого произведения.