Картинки из квадратов \ Теоретико-множественная математика \ Theoretical Computer Science \

9.7.4. Искусственный интеллект

 
Начало см. здесь.
9.7.4.1. Искусственный интеллект (Н. Нильсон; 1973)      9.7.4.2. Принципы искусственного интеллекта (Н. Нильсон; 1985)
9.7.4.3. Математическая логика и автоматическое доказательство теорем (Ч. Чень, Р. Ли; 1983)      9.7.4.4. Логическое программирование