Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных:

Сводный каталог НТЛ по Ярославской области

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Найдено в других БД:

Электронный каталог МУБиНТ, г. Ярославль (7)

"Руконт"-Национальный цифровой ресурс (5)

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=ЛОГИЧЕСКОЕ<.>)
Общее количество найденных документов : 47 Показаны документы с 1 по 20

1..20 21..40 41..47

681.3
Л69

Логическое программирование [] : пер. с англ. и фр / Под ред. В.Н. Агафонова. - М. : Мир, 1988. - 368 с. : ил. - Содержание : О логическом программировании пишут известные зарубежные специалисты. . - ISBN 5-03-000972-8 : Б. ц.

ГРНТИ	50.05	20
УДК	681.3

ББК 32.973
Рубрики: Информатика
Аннотация: Сборник отражает состояние направления программирования, тесно связанном с математической логикой. Это направление развивается как в теоретическом, так и практическом плане, включая в себя новые языки, методы реализации и проекты машинных архитектур.

Держатели документа:
МУБиНТ МУБиНТ/ХР
Свободных экз. нет
Найти похожие

681.3
Х68

Хоггер, К.
Введение в логическое программирование [] = Introduction to logic programming : пер. с англ / К. Хоггер ; ред. Ю. И. Янов . - М. : Мир, 1988. - 348 с. : ил. - Библиогр.: с. 328-338. - Предм. указ.: с. 339-344. - Содержание : Представление знаний и рассуждения ; Логические программы ; Стиль программирования ; Структуры данных ; Верификация программ ; Формальный синтез программ ; Реализация ; Вклад логического программирования в теорию вычислений . - ISBN 5-03-000490-4 : Б. ц.

ГРНТИ	50.05
УДК	681.3	681.3.06

ББК 32.973
Рубрики: Информатика--Программирование
Аннотация: Книга знакомит с идеями и методологией логического программирования. Уделено внимание вопросам синтеза программ, реализации языков логического программирования и их применения. Для математиков-прикладников.

Держатели документа:
МУБиНТ

Доп.точки доступа:
Янов, Ю. И. \ред.\; Захарьящев, М. В. \пер.\ МУБиНТ/ЧЗ
Свободных экз. нет
Найти похожие

681.142.2
С88

Стэбли, Д.
Логическое программирование в системе/ 360 [] / Д. Стэбли ; Пер. с англ. А.П. Гагарина, В.Г. Меркулова, О.Ф. Мясина. - 2-е изд., стереотип. - М. : Мир, 1979. - 752 с. - Содержание : Введение в систему/ 360. Введение в язык ассемблера. Методы доступа и набора данных. . - Б. ц.

ГРНТИ	50.41.17
УДК	681.142.2

Рубрики: Вычислительная техника
Аннотация: Содержатся данные, применимые к программированию на ЭВМ третьего поколения.

Держатели документа:
МУБиНТ МУБиНТ/ХР
Свободных экз. нет
Найти похожие

519.681
К47

Кларк, К.
Введение в логическое программирование на микро-Прологе [] : пер. с англ / К. Кларк, Ф.Маккейб. - М. : Радио и связь, 1987. - 312 с. : ил. - Содержание : Основные понятия. Логическое программирование на микро-Прологе. Штатный микро-Пролог. Приложения микро-Пролога. . - Б. ц.

ГРНТИ	50.05.09
УДК	519.681

ББК 32.973
Рубрики: Вычислительная техника
Аннотация: Рассмотрены основные возможности и приемы логического программирования, средства Пролога и методы их применения. Описан стандартный синтаксис языка микро-Пролог. Показано применение логического программирования и Пролога к таким задачам, как анализ критического пути в графе, создание экспертных систем, программирование игр.

Держатели документа:
МУБиНТ

Доп.точки доступа:
Маккейб, Ф. МУБиНТ/ХР
Свободных экз. нет
Найти похожие

Ч31
В37

Вершинин, Михаил Александрович.
Технологическое обеспечение формирования логического мышления учащихся в условиях дополнительного образования [Текст] : автореферат диссертации на соискание ученой степени кандидата педагогических наук: Специальность 13.00.01 / М. А. Вершинин ; Саратовский государственный университет. - Волгоград, 2001. - 20с. : ил. -

ББК Ч31
Рубрики: педагогика общая
Кл.слова (ненормированные):
авторефераты Ч31 -- дополнительное образование -- логическое мышление

Держатели документа:
ЯрГУ

Доп.точки доступа:
Саратовский государственный университет ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие

ФОя73
П50

Политология [Текст] : новые исследования и структурно-логическое отражание проблем. Ч.2. - 2-е изд., испр. и доп. - [Б. м. : б. и.]. - 568с. - (Социально-философские учения по проблемам государственного устройства.История и современность). - 60.00 р.

ББК ФОя73
Рубрики: политология
Кл.слова (ненормированные):
учебник ФО -- власть

Держатели документа:
ЯрГУ ЯрГУ/НА/НБ
Свободных экз. нет
Найти похожие

У9(2)40я73
Ч-84

Чудаков, Александр Давидович.
Логистика [Текст] : учебник для вузов / А. Д. Чудаков. - М. : Изд-во РДЛ, 2003. - 480 с. - ISBN 5-93840-012-0 : 98.00 р.

ББК У9(2)40я73
Рубрики: Логистика
Кл.слова (ненормированные):
логическое управление -- сервисное обслуживание

Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие

В12
М54

Метакидес, Г.
Принципы логики и логического программирования [Текст] : нелитературный текст / Г.Метакидес,А.Нероуд.Пер.с англ. - М. : Факториал, 1998. - 288с. - ISBN 5-88688-037-2 : 50.00 р.

ББК В12
Рубрики: основания математики
логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- логическая семантика -- логическое программирование -- логические программы

Держатели документа:
ЯрГУ

Доп.точки доступа:
Нероуд, А. ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

З973
Х68

Хоггер, Кристофер Джон.
Введение в логическое программирование [Текст] : нелитературный текст / К. Д.Хоггер ; Пер.с англ. - М. : Мир, 1988. - 348с. - ISBN 5-03-000490-4 : 30.00 р.

ББК З973
Рубрики: Вычислительная техника
Программирование
Кл.слова (ненормированные):
б-ка Русина -- логическое программирование -- программы -- Пролог

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

10.

В126
Ф87

Френкель, А. А.
Основания теории множеств [Текст] : нелитературный текст / А.А.Френкель,И.Бар-Хиллел.Пер.с англ. - М. : Мир, 1966. - 555с. - 6.00 р.

ББК В126
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- антиномии -- логическое исчисление -- теория множеств

Держатели документа:
ЯрГУ

Доп.точки доступа:
Бар-Хиллел, И. ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

11.

В18я43
Л69

Логическое программирование [Текст] : сб.ст. / Пер.с англ.и фр. - М. : Мир, 1988. - 366с. - (Математическое обеспечение ЭВМ). - ISBN 5-03-000972-8 : 6.00 р.

ББК В18я43
Рубрики: Кибернетика
Вычислительная техника
Кл.слова (ненормированные):
б-ка Русина -- математическая кибернетика -- логическое программирование -- ЭВМ

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

12.

В19я54
В94

Мельников, В. А.
Вычислительные науки [Текст] : нелитературный текст. Т. 4 / Науч. ред. В. А. Мельников. - [Б. м. : б. и.]. - 200 с. - (Итоги науки и техники. ВИНИТИ, ISSN 0236-3127). - 20.00 р.

ББК В19я54
Рубрики: кибернетика
вычислительная математика
Кл.слова (ненормированные):
б-ка Русина -- математическая кибернетика -- языки программирования -- логическое программирование

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

13.

З973.2-018.1я43
Я41

Язык Пролог в пятом поколении ЭВМ [Текст] : сб. статей / пер. с англ. - М. : Мир, 1988. - 501 с. - ISBN 5-03-000537-4 : 5.00 р.

ББК З973.2-018.1я43
Рубрики: Программирование
Кл.слова (ненормированные):
б-ка Русина -- логическое программирование -- языки программирование -- пролог

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

14.

Шалыто, А. А.
Логическое управление. Методы аппаратной и программной реализации алгоритмов [Текст] / А.А. Шалыто. - СПб. : Наука, 2000. - 780с. - Библиогр.в конце гл.-Указ. - Б. ц.

Держатели документа:
ЯОУНБ ЯОУНБ/к/х
Свободных экз. нет
Найти похожие

15.

Политология: (Новые исследования и структурно-логическое отражение проблем) [Текст] / Ин-т социологии РАН и др. ; под общ. ред. Ю.А. Головина и др. - Ярославль : Ремдер, 2002. - 483 с. - (Социально-философские учения по проблемам государственного устройства. История и современность ; кн. 2). - Библиогр.: с. 482-483. - ISBN 5-94755-009-1 : Б. ц.
В надзаг. также: Рос. ассоц. полит. науки (Яросл. отд-ние), Яросл. гос. ун-т им. П.Г. Демидова; Яросл. гос. техн. ун-т

Держатели документа:
ЯОУНБ ЯОУНБ/к/х, ЯОУНБ
Свободных экз. нет
Найти похожие

16.

История [Текст] : (Новые исследования и структурно-логическое отражение социально-политических и правовых проблем) / А.В. Басов ; под общ. ред. Ю.А. Головина и др. . - Ярославль : ДИА-пресс, 2001. - 555 с. - (Социально-философские учения по проблемам государственного устройства. История и современность. Кн. 1). - Библиогр.: с. 506-507, библиогр. в конце разд. - ISBN 5-7886-0013-8 : Б. ц.
Авт. указаны на обороте тит. л.

Держатели документа:
ЯОУНБ

Доп.точки доступа:
Басов, А.В.; Головин, Ю.А.; Жучков, В.Е.; Князев, М.М.; Ковшиков, И.М.; Ковшиков, М.Ф.; Макаренков, Е.В.; Матюшин, М.Н.; Нажмудинов, Г.М.; Рутковский, М.А. ЯОУНБ/к/х
Свободных экз. нет
Найти похожие

17.

74.202.2
Т46

Тихомирова, Л. Ф.
Развитие логического мышления учащихся [Текст] : (Метод.рекомендации). Формирование логич.мышления у учащихся нач.классов / Л.Ф.Тихомирова. - Ярославль : Б.и., 1993. - 55с. - 300,00 р.

ББК 74.202.2
Рубрики: 23.Культура.Наука.Педагогика.
Кл.слова (ненормированные):
Логическое мышление-Развитие-Методика.

Держатели документа:
ЯрЦБС

Доп.точки доступа:
Басов, А.В. ЯрЦБС/Ф12
Свободных экз. нет
Найти похожие

18.

74.100.57+74.200.58я92+74.900.
Т68

365 развивающих игр [Текст] : /Для детей 5-11 лет/ / Авт.-сост.Е.Беляков. - М. : Айрис-Пресс,Рольф, 1998. - 303с : ил. - (Внимание:дети!). - ISBN 5-7836-0086-5 : 11,00 р.

ББК 74.100.57+74.200.58я92+74.900.
Рубрики: 23.Культура.Наука.Педагогика.
Кл.слова (ненормированные):
Беляков Е.А.Дошкольное воспитание.Игры подвижные.Игры настольные.Логическое мышление.

Держатели документа:
ЯрЦБС ЯрЦБС/ООФ
Свободных экз. нет
Найти похожие

19.

74.902
Г34

Генденштейн, Л. Э.
Загадочные истории о Тимке и его друзьях [Текст] : для занятий с детьми 6-8 лет / Л.Э.Генденштейн ; Рис.Т.Зеленченко. - Харьков,М. : Гимназия,Илекса, 1998. - 174с : ил. - ISBN 966-7384-09-8 : 10,00 р.

ББК 74.902
Рубрики: 23.Культура.Наука.Педагогика.
Кл.слова (ненормированные):
Подготовка детей к школе.Счет.Наблюдательность.Память.Логическое мышление.

Держатели документа:
ЯрЦБС

Доп.точки доступа:
Мадышева, Е.Л. ЯрЦБС/Ф6
Свободных экз. нет
Найти похожие

20.

74.100.57+74.200.58
С41

Синицына, Е. И.
Умные стихи [Текст] : попул.пособие для родителей,гувернеров и воспитателей / Е.И.Синицына. - М. : Лист, 1998. - 166с. - (Через игру-к совершенству). - ISBN 5-7871-0018-2 : 7,00 р.
На обл.авт.не указ

ББК 74.100.57+74.200.58
Рубрики: 23.Культура.Наука.Педагогика.
Кл.слова (ненормированные):
Логическое мышление.Математические способности.Творческое воображение.Речь.Память.Внимание.

Держатели документа:
ЯрЦБС ЯрЦБС/АБ,Ф6,14
Свободных экз. нет
Найти похожие

1..20 21..40 41..47