Серия: Математическое обеспечение ЭВМ 1976 г.; Изд-во: Мир
Эта книга является доступным и в то же время строгим описаниям языка ЛИСП. Понятия языка ЛИСП сравниваются с аналогичными понятиями языков ФОРТРАН и АЛГОЛ. Приводятся многочисленные примеры и упражнения. Частично затрагиваются вопросы, связанные с пост...
Книга английских авторов ориентирована на читателя, знакомого с языком Си либо имеющего опыт программирования на других языках. Содержит обширный справочный раздел, включающий описание синтаксиса и стандартных функций языка.
Для широкого круга програм...
Серия: Математическое обеспечение ЭВМ 1988 г.; Изд-во: М.: Мир
Сбоник работ зарубежных специалистов, отражающий современное состояние в новом направлении програмирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом так и в практическом плане, включая в себя нов...
Серия: Математическое обеспечение ЭВМ 1978 г.; Изд-во: М.: Советское радио
Излагаются методы макрогенерации, конечной целью которой можно считать введение новых операций с различным числом операндов. Обеспечиваемая при макрогенерации открытая подстановка подпрограмм способствует ускорению вычислений, так как при этом исчезает...
в книге излагаются рекурсивные методы программирования и демонстрируются возможности рекурсивного описания алгоритмов. Эти методы получают все более широкое распространение в практике программирования и возможность их применения учитывается при разрабо...
Серия: Математическое обеспечение ЭВМ 1984 г.; Изд-во: М.: Мир
Сборник посвящен важному этапу разработки программ – определению общих требований к программе и точному описанию задачи, которую она должна решать. Он содержит работу по универсальным языкам спецификаций, языка описания систем обработки информации, баз...
Серия: Автоматическое управление и вычислительная техника 1972 г.; Изд-во: Машиностроение
В настоящем сборнике представлены оригинальные работы, посвященные одной из актуальных проблем технической кибернетики - автоматическому распознаванию образов. Основу сборника составили работы, доложенные на Межвузовской научно-технической конференции ...
В книге предпринята первая в мировой литературе попытка согласованного изложения ряда основных проблем теории расписаний и теории очередей с приоритетами. Одним из основных ее достоинств является соблюдение столь ценной для преподавания и приложений пр...
Книга написана крупными зарубежными специалистами по теории игр и содержит обобщение известного, отражающего понятие справедливости принципа оптимальности на неатомические игры. Для ее чтения не требуется знания теории игр или математической экономики,...
Излагаются вопросы теории передачи дискретных и непрерывных (квантованных) сообщений по дискретным каналам с обратной информационной связью. Рассматриваются различные модификации систем с обратной связью, способы образования квитанций и передачи служеб...
Рассматриваются теоретические, вычислительные и приближенные методы анализа вычислительных сетей, базирующиеся на теории систем и сетей массового обслуживания. После изложения основ теории сетей массового обслуживания и методов вычисления их характерис...
470 руб
509 руб
252 руб
RU/50)
