-
1 голова хорновской формулы
headБольшой англо-русский и русско-английский словарь > голова хорновской формулы
-
2 tail of a clause
Вычислительная техника: хвост (хорновской) формулы (в языке ПРОЛОГ), хвост хорновской формулы (в языке ПРОЛОГ) -
3 tail of a clause
Большой англо-русский и русско-английский словарь > tail of a clause
-
4 head
1) головка; магнитная головка2) заголовок; рубрика; "шапка"3) дескриптор4) голова; головная часть ( таблицы); голова [левая часть] хорновской формулы ( в языке ПРОЛОГ)•- air-floating head
- ballistic print head
- brush sensing head
- combined head
- contacting head
- contact head
- cut-and-clinch head
- DC erasing head
- document feed head
- double head
- dual-gap rewrite head
- dual-gap write head
- erase head
- erasing head
- fixed head
- floating head
- head-per-track
- magnetic head
- magnetic tape head
- magneto-resistive head
- movable head
- multiple head
- multitrack head
- permanent-magnet erasing head
- playback head
- plotting head
- preread head
- printing head
- print head
- ramp-load head
- read/write head
- reading head
- read head
- read-record head
- recording head
- record head
- reproducing head
- ring-type head
- ring head
- rotating head
- run-in head
- running head
- self-parking head
- sensing head
- servo-positioned head
- seven-dot head
- tandem heads
- two-gap head
- two-split head
- winchester head
- write head
- writing headEnglish-Russian dictionary of computer science and programming > head
-
5 tail of a clause
хвост [правая часть] (хорновской) формулы ( в языке ПРОЛОГ)English-Russian dictionary of computer science and programming > tail of a clause
-
6 head
1) головка; магнитная головка2) заголовок3) "шапка"4) рубрика5) дескриптор6) первый элемент списка; "голова" списка; головной элемент; головная часть
См. также в других словарях:
МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, изучающий математические модели. Начало М. т. относится к 30 м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя Мальцева). Если каждая конечная подсовокупность совокупности… … Математическая энциклопедия