1.5.1 Предикатная логика 1: Видео

MIT 6.042J Математика для информатики, весна 2015 г. Полный текст курса: http://ocw.mit.edu/6-042JS15 Преподаватель: Альберт Р. Мейер Лицензия: Creative Commons BY-NC-SA Более подробная информация: http://ocw.mit.edu/terms Другие курсы: http://ocw.mit.edu