Cтраница 2
Авторы справедливо отмечают, что в настоящее время computer science находится в долгу перед потребностями практики использования ЭВМ. Однако следует отдать дань несомненным успехам этой науки, а также достижениям смежной с ней дисциплины - исследованиям по искусственному интеллекту. Весьма интенсивно в настоящее время развиваются исследования по алгоритмическим языкам, работы по синтезу программ и по проверке правильности программ, которые проводятся на базе логических исчислений; имеются также некоторые успехи в развитии общей теории информационных систем и моделей баз данных. Ниже мы приводим ( далеко не полный) перечень ссылок на работы, информирующие читателей об упомянутых проблемах. [16]
В сущности, перечень библиографических описаний, расположенных по алфавиту, не делает этот перечень списком. Упорядоченность здесь формальная, а не по смыслу, отвечающему ведущей цели читательского поиска. Между тем, смысловая упорядоченность описаний и отличает список от перечня ссылок за текстом. [17]
Каталоги в отличие от поисковых машин пополняют свою информацию по инициативе человека. Добавляемая страница должна быть жестко привязана к принятым в каталоге тематическим разделам. Каталог представляет собой упорядоченную по темам коллекцию ссылок на многочисленные web - страницы и сайты. Каталог, как правило, составляется, обслуживается и поддерживается специалистами разного профиля, которые по заявкам владельцев сайтов или самостоятельно пополняют перечень ссылок и составляют обзоры web - страниц, содержащие краткое описание информационного ресурса, его. Каталоги часто называют классификаторами, поскольку они представляют собой иерархические структуры, где все информационные ресурсы расклассифицированы по темам. [18]
Солонина, С, II, 848 ( 1897); там же, II, 867 ( 1899); Schey, Rec. Этот перечень ссылок охватывает только типичные случаи образования сульфамидов, но не является исчерпывающим. [19]