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

Базы данных:

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

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

Виды поиска:

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

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

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

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

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

Поисковый запрос: (<.>K=логического<.>)
Общее количество найденных документов : 22 Показаны документы с 1 по 20

1..20 21..22

Ю4я43
Т78

Труды научно-исследовательского семинара Логического центра Института философии РАН 1997 [Текст] : нелитературный текст. - М. : ИФРАН, 1998. - 170с. - 7.40 р.

ББК Ю4я43
Рубрики: философия
Кл.слова (ненормированные):
логика -- труды Ю4я

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

В181
О-63

Оранов, Александр Михайлович.
Кратчайшие допустимые разбиения в синтезе и компоновке схем логического управления [Текст] : автореферат диссертации на соискание ученой степени доктора технических наук: Специальность 05.13.01 / А. М. Оранов. - Томск : ТГУ, 1999. - 35с. : ил. -

ББК В181
Рубрики: Теория управляющих систем
Кл.слова (ненормированные):
авторефераты В181 -- управляющие системы

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

З815
К95

Куфарева, Ирина Борисовна.
Применение недетерминированных автоматов в задачах синтеза проверяющих тестов для систем логического управления [Текст] : автореферат диссертации на соискание ученой степени кандидата технических наук: Специальность 05.13.01 / И. Б. Куфарева. - Томск : ТГУ, 2000. - 23с. : ил. -

ББК З815
Рубрики: Кибернетика
Кл.слова (ненормированные):
авторефераты З815 -- теория автоматов

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

З815
П80

Прокопенко, Светлана Анатольевна.
Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов [Текст] : автореферат диссертации на соискание ученой степени кандидата технических наук: Специальность 05.13.01 / С. А. Прокопенко ; Томский государственный университет. - Томск, 2000. - 22с. : ил. -

ББК З815
Рубрики: Кибернетика
Кл.слова (ненормированные):
авторефераты З815 -- автоматы теория -- конечные автоматы -- проверяющие тесты

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

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

Ч31
В37

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

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

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

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

Ч426.17
Т38

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

ББК Ч426.17
Рубрики: Методика преподавания иностранного языка
Немецкий язык
Кл.слова (ненормированные):
авторефераты Ч426.17 -- средняя школа

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

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

В12
М54

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

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

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

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

В12я43
М34

Математическая теория логического вывода [Текст] : сб.переводов / Под ред.А.В.Идельсона,Г.Е.Минца. - М. : Наука, 1967. - 351с. - (Математическая логика и основания математики). - 10.00 р.

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

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

74.202.2
Т46

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

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

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

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

10.

74.202.2+74.102+74.902
Т46

Тихомирова, Л. Ф.
Развитие логического мышления детей [Текст] : попул.пособие для родителей и педагогов / Л.Ф.Тихомирова. - Ярославль : Гринго,Лайнер, 1995,1996. - 235с. - ISBN 5-88723-011-9 : 4000,9800 р.

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

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

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

11.

681.32
Б25

    Бар, Р.
    Язык АДА в проектировании систем [Текст] / Р. Бар ; ред. Е. К. Масловский ; пер.: О. С. Багатурова, В. М. Храпкин, В. С. Явнилович = System Design with Ada / R. J. A. Buhr : монография. - М. : Мир, 1988. - 320 с. : рис. - Библиогр.: с. 313-314.- Предм. указ.: с. 315-318. - 1.70 р.
    Содержание:
Концептуальные основы системного программирования. Введение в логическое проектирование. Анализ проблем логического проектирования.

ГРНТИ	50.05.09	20
УДК	681.32

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

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

Доп.точки доступа:
Масловский, Е. К. \ред.\; Багатурова, О. С. \пер.\; Храпкин, В. М. \пер.\; Явнилович, В. С. \пер.\
Экземпляры всего: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1)
Найти похожие

12.

681.3
Х68

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

ГРНТИ	50.05
УДК	681.3	681.3.06

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

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

Доп.точки доступа:
Янов, Ю. И. \ред.\; Захарьящев, М. В. \пер.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

13.

В185.2я73
Р 82

Рублев, Вадим Сергеевич.
Языки логического программирования [] : учеб. пособие для вузов / В. С. Рублев. - Ярославль : [б. и.], 2007. - 143 с. - ISBN 978-5-8397-0574-6 : 39.72 р.

ББК В185.2я73
Рубрики: Программирование
Кл.слова (ненормированные):
языки программирования -- логическое программирование -- РЕФАЛ язык -- ПРОЛОГ язык -- модель Бэкуса -- учебник В185.2 -- учебник З973.2

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

14.

004.3(07)
А 85

Арсеньев, Ю. А.
Проектирование систем логического управления на микропроцессорных средствах [Текст] : учеб. пособие / Ю. А. Арсеньев, В. М. Журавлев. - М. : Высш. шк., 1991. - 320 с. - Библиогр. : с. 314-315. - Предм. ук. : с. 316-317. - 1-80 р.

УДК

004.3(07)

Рубрики: Вычислительная техника

Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10

Доп.точки доступа:
Журавлев, В. М.
Свободных экз. нет
Найти похожие

15.

УДК

004.3(07)

16.

   32.97мп
   Р 82

    Рублев, Вадим Сергеевич.
    Языки логического программирования [Текст] : учеб. пособие : для студентов, обучающихся по специальностям Мат. обеспечение и администрирование информ. систем и Прикладная математика и информатика / В. С. Рублев ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : ЯрГУ, 2007. - 143 с. : ил. - Библиогр. в конце гл. - ISBN 978-5-8397-0574-6 : 27.20 р.

ББК 32.973-018.1
Рубрики: Логическое программирование (компьют.)--Учебные издания для высших учебных заведений

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

Доп.точки доступа:
Министерство образования и науки Российской Федерации; Федеральное агентство по образованию; Ярославский государственный университет имени П. Г. Демидова
Экземпляры всего: 2
к/х (2)
Свободны: к/х (2)
Найти похожие

17.

74.26

Занимательные игры и задания на развитие логического мышления. Математика. Русский язык [Текст] ; [Абельмас Н. В.] / [Абельмас Н. В.]. - Ростов н/Д ; Донецк : Феникс ; Кредо, 2007. - 63 с. : ил. - (Школа развития). - ISBN 5-222-10105-3 : 44,00 р.

ББК 74.26
Рубрики: 23.Культура.Наука.Педагогика.
Кл.слова (ненормированные):
Мышление - логическое - Развитие -- Дети - Младший школьный возраст -- Интеллектуальное развитие -- Математика - Русский язык - Логические упражнения -- Головоломки -- Ребусы -- Шарады -- Метаграммы -- Логогрифы -- Анаграммы -- Палиндромы -- Пословицы -- Скороговорки -- Задачи - словесные -- Говорилки -- Почемучки -- Внимательность - Игры
Аннотация: Развитие логического мышления - один из краеугольных камней успешной учебы, поэтому его формирование игровым путем - залог будущих стремительных успехов в школе. Скорейшему освоению этого навыка в математике и русском языке поспособствуют поданные в справочнике интересные рисунки и схемы.

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

18.

74.202.2+74.102+74.902

Тихомирова, Л. Ф.
Развитие логического мышления детей [Текст] : попул. пособие для родителей и педагогов / Л. Ф.Тихомирова. - Ярославль : Гринго : Лайнер, 1995; 1996. - 235 с. - ISBN 5-88723-011-9 : Б. ц.

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

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

19.

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

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

20.

(Нет сведений об экземплярах)
Шифр: ВКиИТ-144365/2005/9
Журнал

Вестник компьютерных и информационных технологий [Текст] : научно-технический и производственный журнал. - М. : Машиностроение, 2004 - . - ISSN 1810-7206. - Выходит ежемесячно
2005г. N 9

Содержание:
Лебедев, В. В. Технология создания экологических ГИС водоохранных зон водохранилищ (на примере Иваньковского) / В.В. Лебедев, Е.И. Куприянова, В.А. Харитонов. - С.9-18
Кл.слова: геоинформационные, системы, комплексы
Безъязычный, В. Ф. Автоматизированная система управления данными испытаний / В.Ф. Безъязычный, Э.В. Киселев, И.А. Киселева. - С.19-25
Лозбинев, Ф. Ю. Развитие информатизации экономических служб органов государственного и муниципального управления в Брянской области / Ф.Ю. Лозбинев. - С.25-33
Барзов, А. А. Вероятностное моделирование результативности применения адаптируемых информационно-поисковых систем в области послевузовского профессионального образования / А.А. Барзов, А.Ф. Данилин, А.Л. Галиновский. - С.34-37
Князьков, В. В. Применение систем конечно-элементного анализа в учебном процессе / В.В. Князьков, А.В. Тумасов. - С.38-41
Кл.слова: МОДЕЛИРОВАНИЕ
Кузнецов, А. И. Разработка спецификаций поведения графического пользовательского интерфейса средствами дистрибутивного логического программирования / А.И. Кузнецов. - С.45-53
Нет сведений об экземплярах
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Найти похожие

1..20 21..22