Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
Электронный каталог МУБиНТ, г. Ярославль (7)
"Руконт"-Национальный цифровой ресурс (5)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=ЛОГИЧЕСКОЕ<.>)
Общее количество найденных документов
:
47
Показаны документы
с 1 по 20
1..20
21..40
41..47
1.
681.3
Л69
Логическое
программирование
[] : пер. с англ. и фр / Под ред. В.Н. Агафонова. - М. : Мир, 1988. - 368 с. : ил. - Содержание : О логическом программировании пишут известные зарубежные специалисты. . -
ISBN
5-03-000972-8 : Б. ц.
ГРНТИ
50.05
20
УДК
681.3
ББК
32.973
Рубрики:
Информатика
Аннотация:
Сборник отражает состояние направления программирования, тесно связанном с математической логикой. Это направление развивается как в теоретическом, так и практическом плане, включая в себя новые языки, методы реализации и проекты машинных архитектур.
Держатели документа:
МУБиНТ МУБиНТ/ХР
Свободных экз. нет
Найти похожие
2.
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
Рубрики:
Информатика--Программирование
Аннотация:
Книга знакомит с идеями и методологией логического программирования. Уделено внимание вопросам синтеза программ, реализации языков логического программирования и их применения. Для математиков-прикладников.
Держатели документа:
МУБиНТ
Доп.точки доступа:
Янов, Ю. И. \ред.\; Захарьящев, М. В. \пер.\ МУБиНТ/ЧЗ
Свободных экз. нет
Найти похожие
3.
681.142.2
С88
Стэбли, Д.
Логическое
программирование в системе/ 360 [] / Д. Стэбли ; Пер. с англ. А.П. Гагарина, В.Г. Меркулова, О.Ф. Мясина. - 2-е изд., стереотип. - М. : Мир, 1979. - 752 с. - Содержание : Введение в систему/ 360. Введение в язык ассемблера. Методы доступа и набора данных. . - Б. ц.
ГРНТИ
50.41.17
УДК
681.142.2
Рубрики:
Вычислительная техника
Аннотация:
Содержатся данные, применимые к программированию на ЭВМ третьего поколения.
Держатели документа:
МУБиНТ МУБиНТ/ХР
Свободных экз. нет
Найти похожие
4.
519.681
К47
Кларк, К.
Введение в
логическое
программирование на микро-Прологе [] : пер. с англ / К. Кларк, Ф.Маккейб. - М. : Радио и связь, 1987. - 312 с. : ил. - Содержание : Основные понятия.
Логическое
программирование на микро-Прологе. Штатный микро-Пролог. Приложения микро-Пролога. . - Б. ц.
ГРНТИ
50.05.09
УДК
519.681
ББК
32.973
Рубрики:
Вычислительная техника
Аннотация:
Рассмотрены основные возможности и приемы логического программирования, средства Пролога и методы их применения. Описан стандартный синтаксис языка микро-Пролог. Показано применение логического программирования и Пролога к таким задачам, как анализ критического пути в графе, создание экспертных систем, программирование игр.
Держатели документа:
МУБиНТ
Доп.точки доступа:
Маккейб, Ф. МУБиНТ/ХР
Свободных экз. нет
Найти похожие
5.
Ч31
В37
Вершинин, Михаил Александрович
.
Техно
логическое
обеспечение формирования логического мышления учащихся в условиях дополнительного образования [Текст] : автореферат диссертации на соискание ученой степени кандидата педагогических наук: Специальность 13.00.01 / М. А. Вершинин ; Саратовский государственный университет. - Волгоград, 2001. - 20с. : ил. -
ББК
Ч31
Рубрики:
педагогика общая
Кл.слова (ненормированные):
авторефераты Ч31
--
дополнительное образование
--
логическое
мышление
Держатели документа:
ЯрГУ
Доп.точки доступа:
Саратовский государственный университет ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
6.
ФОя73
П50
Политология
[Текст] : новые исследования и структурно-
логическое
отражание проблем. Ч.2. - 2-е изд., испр. и доп. - [Б. м. : б. и.]. - 568с. - (Социально-философские учения по проблемам государственного устройства.История и современность). - 60.00 р.
ББК
ФОя73
Рубрики:
политология
Кл.слова (ненормированные):
учебник ФО
--
власть
Держатели документа:
ЯрГУ ЯрГУ/НА/НБ
Свободных экз. нет
Найти похожие
7.
У9(2)40я73
Ч-84
Чудаков, Александр Давидович
.
Логистика [Текст] : учебник для вузов / А. Д. Чудаков. - М. : Изд-во РДЛ, 2003. - 480 с. -
ISBN
5-93840-012-0 : 98.00 р.
ББК
У9(2)40я73
Рубрики:
Логистика
Кл.слова (ненормированные):
логическое
управление
--
сервисное обслуживание
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
8.
В12
М54
Метакидес, Г.
Принципы логики и логического программирования [Текст] : нелитературный текст / Г.Метакидес,А.Нероуд.Пер.с англ. - М. : Факториал, 1998. - 288с. -
ISBN
5-88688-037-2 : 50.00 р.
ББК
В12
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
логическая семантика
--
логическое
программирование
--
логические программы
Держатели документа:
ЯрГУ
Доп.точки доступа:
Нероуд, А. ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
9.
З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