Все описанные номера года: 1 2 3 4 5 6 7 8 9 10 11 12

Все описанные годы: 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991

. Брошюра посвящена описанию проблем, некоторых результатов и перспектив исследований одной из интереснейших задач искусственного ч интеллекта — автоматизации рассуждений с помощью ЭВМ. Эффективное моделирование на ЭВМ мыслительных операций, выполняемых человеком в процессе его труда, расширяет возможности ЭВМ и показывает пути их совершенствования. Содержание: Введение Исчисление высказываний Логические исчисления и формальные теории Алгоритмические системы и электронные вычислительные машины (ЭВМ) Принципы построения систем автоматизации доказательств Краткий обзор опыта и результатов по автоматизации доказательств Литература.