Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
Электронный каталог МУБиНТ, г. Ярославль (7)
"Руконт"-Национальный цифровой ресурс (5)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=логическое<.>)
Общее количество найденных документов
:
47
Показаны документы
с 21 по 40
1..20
21..40
41..47
21.
74.100.57
А47
Алексеевская, Н. А.
Карандашик озорной [Текст] : попул.пособие для родителей,гувернеров и воспитателей / Н.А.Алексеевская. - М. : Лист, 1998. - 143с : ил. - (Через игру-к совершенству). -
ISBN
5-7871-0040-9 : 7,8 р.
На обл.авт.не указ
ББК
74.100.57
Рубрики:
23.Культура.Наука.Педагогика.
Кл.слова (ненормированные):
Логическое
мышление.Творческое воображение.Внимание.Память.
Держатели документа:
ЯрЦБС ЯрЦБС/Ф7,13,14,18
Свободных экз. нет
Найти похожие
22.
74.900.6
А47
Алексеевская, Н. А.
Волшебные ножницы [Текст] : попул.пособие для родителей,гувернеров и воспитателей / Н.А.Алексеевская. - М. : Лист, 1998. - 191с : ил. - (Через игру-к совершенству). -
ISBN
5-7871-0075-1 : 7,00 р.
На обл.авт.не указ
ББК
74.900.6
Рубрики:
23.Культура.Наука.Педагогика.
Кл.слова (ненормированные):
Аппликация.Бумажное конструирование.Игравая деятельность.
Логическое
мышление.Творческое воображение.Развитие движения рук.Сюжетно-ролевые игры.Дошкольное воспитание.
Держатели документа:
ЯрЦБС ЯрЦБС/Ф7,18
Свободных экз. нет
Найти похожие
23.
74.100.57
С38
Синицына, Е. И.
Умные слова [Текст] : попул.пособие для родителей,гувернеров и воспитателей / Е.И.Синицына. - М. : Лист, 1998. - 172с. - (Через игру-к совершенству). -
ISBN
5-7871-0027-1 : 8,00 р.
На обл.авт.не указ
ББК
74.100.57
Рубрики:
23.Культура.Наука.Педагогика.
Кл.слова (ненормированные):
Игры с буквами.Игры со словами из серии:"Слово-звук"."Слово-цвет"."Слово-образ"."Слово-ассоциация"."Слово-понятие"."Слово-действие"."Народное слово"."Слово-творчество".Азбука Важных Слов.Нужные стихи.Речь.Внимание.Творческое воображение.
Логическое
мышление.Коммуникативность.
Держатели документа:
ЯрЦБС ЯрЦБС/АБ
Свободных экз. нет
Найти похожие
24.
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)
Найти похожие
25.
681.3
Я41
Язык Пролог в
пятом поколении ЭВМ [Текст] : Сборник статей [1983-1986 гг.] : Пер. с англ / К. Фути [и др.] ; ред. Н. И. Ильинский ; пер.: В. Г. Волченков [и др.]. - М. : Мир, 1988. - 501 с. : риc. -
ISBN
5-03-000537-4 : 2.60 р.
Содержание:
К вычислительным системам пятого поколения
ESP- предварительная версия базового языка программирования компьютеров пятого поколения
Абстрактные типы данных в PROLOG/KR
Расширение пролога для работы с негативными знаниями
ShapeUp- язык обработки информационных знаний
Операционная система последовательной машины вывода - основные концепции
Объктно-ориентированное программирование в Параллельном Прологе
Слияние с ограниченным ожиданием в Параллельном Прологе Шапиро
Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном Прологе
Упорядочивание редукции процессов в Параллельном Прологе
Многоканальное слияние с постоянной задержкой в Параллельном Прологе
Пролог средствами функционального программирования
Эффективный алгоритм управления памятью Пролог-программ, допускающий гибкие стратегии управления
Максимальные унифицируемые и минимальные неунифицированные подмножества
Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины
ORBIT- параллельная модель выполнения Пролог-программ
Конвейерный Пролог-процессор
ИЛИ - параллельная потоковая Пролог-машина
Последовательная Пролог-машина РЕК
Спецификация и инициализация логической вычислительной системы
Система восходящего грамматического разбора (ВГР), встроенная в Пролог
Применение Пролога для синтеза логических схем
Пролог и автоматическое доказательство теорем
Исчисление событий, основанное на логике
Определение чисто функционального языка HASL средствами языка Пролог
Логическое
программирование как средство разработки экспертных систем
Преобразование программ посредством метасдвига
Трансляция продукционных правил в Пролог-программу с прямой стратегией вывода
ГРНТИ
50.05.09
УДК
681.3
681.3.06
ББК
22.18
Рубрики:
Информатика--Языки программирования
Аннотация:
Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.
Держатели документа:
МУБиНТ
Доп.точки доступа:
Фути , К.; Тикаяма, Т.; Аида, Х.; Танака, Х.; Мотоока, Т.; Ильинский, Н. И. \ред.\; Волченков, В. Г. \пер.\; Волшаник, Т. В. \пер.\; Козинцев, И. Б. \пер.\; Русаков, В. А. \пер.\; Сергиевский, Г. М. \пер.\; Синицын, С. В. \пер.\
Экземпляры всего:
1
ЧЗ (1)
Свободны:
ЧЗ (1)
Найти похожие
26.
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)
Найти похожие
27.
З973.2-018.1я73
Ш 85
Шрайнер, Павел Александрович
.
Основы программирования на языке Пролог [] : курс лекций : учеб. пособие для вузов / П. А. Шрайнер. - М. : Интернет-Ун-т Информационных Технологий, 2005. - 173 с. - (Основы информационных технологий). -
ISBN
5-9556-0034-5 : 150.00 р.
ББК
З973.2-018.1я73
Рубрики:
Программирование
Кл.слова (ненормированные):
логическое
программирование
--
языки программирования
--
Пролог
--
учебник З973.2-018.1
Держатели документа:
ЯрГУ
Свободных экз. нет
Найти похожие
28.
З973.2-018.1я73
Б 33
Башкин, Владимир Анатольевич
.
Функциональное программирование на языке SML [] : метод. указания / В. А. Башкин. - Ярославль : [б. и.], 2007. - 39 с. - 6.93 р.
ББК
З973.2-018.1я73
Рубрики:
Программирование
Кл.слова (ненормированные):
языки программирование
--
язык SML
--
декларативное программирование
--
логическое
программирование
--
учебник З973.2-018.1
--
ЯрГУ
Держатели документа:
ЯрГУ
Свободных экз. нет
Найти похожие
29.
В185.2я73
Р 82
Рублев, Вадим Сергеевич
.
Языки логического программирования [] : учеб. пособие для вузов / В. С. Рублев. - Ярославль : [б. и.], 2007. - 143 с. -
ISBN
978-5-8397-0574-6 : 39.72 р.
ББК
В185.2я73
Рубрики:
Программирование
Кл.слова (ненормированные):
языки программирования
--
логическое
программирование
--
РЕФАЛ язык
--
ПРОЛОГ язык
--
модель Бэкуса
--
учебник В185.2
--
учебник З973.2
Держатели документа:
ЯрГУ
Свободных экз. нет
Найти похожие
30.
74.261.3
Т 48
Ткаченко, Т. А.
.
Эрудиция [Текст] / Т. А. Ткаченко ; рис. Е. Нитылкиной. - М. : Эксмо, 2007. - 223 с. - (Готовимся к школе по интенсивной методике). -
ISBN
978-5-699-229 89-5 : (в пер.):110р.18к. р.
УДК
74.261.3
Рубрики:
23.Культура.Наука.Педагогика.
Кл.слова (ненормированные):
Речь
--
Мышление - словесно-
логическое
--
Дошкольники - Подготовка к школе
--
Логика
--
Ребенок - Повышение интеллекта
Аннотация:
Книга поможет первокласснику быстрее ориентироваться в потоке информации,устанавливать взаимосвязи между объектами и явлениями,объяснять ход логических операций,то есть обучаться более продуктивно.
Держатели документа:
ЯрЦБС
Свободных экз. нет
Найти похожие
31.
74.261.3
Т 48
Ткаченко, Т. А.
.
Эрудиция [Текст] / Т. А. Ткаченко ; рис. Е. Нитылкиной. - М. : Эксмо, 2007. - 223 с. - (Готовимся к школе по интенсивной методике). -
ISBN
978-5-699-229 89-5 : (в пер.):110р.18к. р.
УДК
74.261.3
Рубрики:
23.Культура.Наука.Педагогика.
Кл.слова (ненормированные):
Речь
--
Мышление - словесно-
логическое
--
Дошкольники - Подготовка к школе
--
Логика
--
Ребенок - Повышение интеллекта
--
Эрудиция
--
Методики - интенсивные
Аннотация:
Книга поможет первокласснику быстрее ориентироваться в потоке информации,устанавливать взаимосвязи между объектами и явлениями,объяснять ход логических операций,то есть обучаться более продуктивно.
Держатели документа:
ЯрЦБС
Свободных экз. нет
Найти похожие
32.
Ткаченко, Т. А.
.
Эрудиция [Текст] / Т. А. Ткаченко ; рис. Е. Нитылкиной. - М. : Эксмо, 2007. - 223 с. - (Готовимся к школе по интенсивной методике). -
ISBN
978-5-699-229 89-5 : (в пер.):110р.18к. р.
Рубрики:
23.Культура.Наука.Педагогика.
Кл.слова (ненормированные):
Речь
--
Мышление - словесно-
логическое
--
Дошкольники - Подготовка к школе
--
Логика
--
Ребенок - Повышение интеллекта
--
Эрудиция
--
Методики - интенсивные
Аннотация:
Книга поможет первокласснику быстрее ориентироваться в потоке информации,устанавливать взаимосвязи между объектами и явлениями,объяснять ход логических операций,то есть обучаться более продуктивно.
Держатели документа:
ЯрЦБС
Свободных экз. нет
Найти похожие
33.
88.835.13
Г 15
Галеева, Римма Акрамовна
.
Тренируем мышление [] : задачи на сообразительность / Р. А. Галеева, Г. С. Курбанов , И. В. Мельченко. - 2-е изд. - Ростов-на-Дону : Феникс, 2006. - 266 с. : ил ; 21 см. - (Большая перемена). - 5000 экз. -
ISBN
5-222-08499-X : .78.76 р.
ББК
88.835.13
Рубрики:
Логическое
мышление--Развитие
Кл.слова (ненормированные):
Детская психология
--
Психика
--
Дети
--
Познавательные процессы
--
Мышление
--
Развитие
Держатели документа:
ЯОУНБ
Доп.точки доступа:
Курбанов, Гаджикурбан Салимович; Мельченко, Ирина Васильевна
Свободных экз. нет
Найти похожие
34.
32.97мп
Р 82
Рублев, Вадим Сергеевич
.
Языки логического программирования [Текст] : учеб. пособие : для студентов, обучающихся по специальностям Мат. обеспечение и администрирование информ. систем и Прикладная математика и информатика / В. С. Рублев ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : ЯрГУ, 2007. - 143 с. : ил. - Библиогр. в конце гл. -
ISBN
978-5-8397-0574-6 : 27.20 р.
ББК
32.973-018.1
Рубрики:
Логическое
программирование (компьют.)--Учебные издания для высших учебных заведений
Держатели документа:
ЯОУНБ
Доп.точки доступа:
Министерство образования и науки Российской Федерации; Федеральное агентство по образованию; Ярославский государственный университет имени П. Г. Демидова
Экземпляры всего:
2
к/х (2)
Свободны:
к/х (2)
Найти похожие
35.
74.102
Ткаченко, Т. А.
Эрудиция [Текст] : [повышение интеллекта ребенка, словесно-логич. мышление, подгот. к школам, лицеям, гимназиям, упражнения повышенной сложности] / Т. А. Ткаченко ; рис. Е. Нитылкиной. - М. : Эксмо, 2007. - 223 с. : ил. - (Готовимся к школе по интенсивной методике). -
ISBN
978-5-699-22989-5 : Б. ц.
ББК
74.102
Рубрики:
23.Культура.Наука.Педагогика.
Кл.слова (ненормированные):
Речь
--
Мышление - словесно-
логическое
--
Дошкольники - Подготовка к школе
--
Логика
--
Ребенок - Повышение интеллекта
--
Эрудиция
--
Методики - интенсивные
Аннотация:
Книга поможет первокласснику быстрее ориентироваться в потоке информации,устанавливать взаимосвязи между объектами и явлениями,объяснять ход логических операций,то есть обучаться более продуктивно.
Держатели документа:
ЯрЦБС
Свободных экз. нет
Найти похожие
36.
87.4я73
Дорошин, И. А.
Логика [Текст] : конспект лекций / И. А. Дорошин. - М. : Высшее образование, 2007. - 210, [3] с. - (Хочу все сдать). - Библиогр.: с. 213. -
ISBN
978-5-9692-0140-8 : 81,00 р.
ББК
87.4я73
Рубрики:
34.Философские науки.
Кл.слова (ненормированные):
Логика - Учебники
--
Язык
--
Познание -
логическое
--
Имена
--
Суждения - Логический анализ
--
Законы - формально-логические
--
Закон тождества
--
Закон непротиворечия
--
Закон исключенного третьего
--
Закон достаточного основания
--
Умозаключения
--
Модальная логика
--
Доказательства
--
Аргументация
--
Опровержение
--
Обоснование
--
Споры
Аннотация:
Учебное пособие поможет студентам вспомнить и систематизировать изученное для успешной сдачи экзамена по курсу "Логика".
Держатели документа:
ЯрЦБС
Свободных экз. нет
Найти похожие
37.
74.26
Занимательные игры и
задания на развитие логического мышления. Математика. Русский язык [Текст] ; [Абельмас Н. В.] / [Абельмас Н. В.]. - Ростов н/Д ; Донецк : Феникс ; Кредо, 2007. - 63 с. : ил. - (Школа развития). -
ISBN
5-222-10105-3 : 44,00 р.
ББК
74.26
Рубрики:
23.Культура.Наука.Педагогика.
Кл.слова (ненормированные):
Мышление -
логическое
- Развитие
--
Дети - Младший школьный возраст
--
Интеллектуальное развитие
--
Математика - Русский язык - Логические упражнения
--
Головоломки
--
Ребусы
--
Шарады
--
Метаграммы
--
Логогрифы
--
Анаграммы
--
Палиндромы
--
Пословицы
--
Скороговорки
--
Задачи - словесные
--
Говорилки
--
Почемучки
--
Внимательность - Игры
Аннотация:
Развитие логического мышления - один из краеугольных камней успешной учебы, поэтому его формирование игровым путем - залог будущих стремительных успехов в школе. Скорейшему освоению этого навыка в математике и русском языке поспособствуют поданные в справочнике интересные рисунки и схемы.
Держатели документа:
ЯрЦБС
Свободных экз. нет
Найти похожие
38.
88.37
О'коннор, Д.
Искусство системного мышления [Текст] : необх. знания о системах и творч. подходе к решению проблем / Джозеф О'Коннор и Иан Макдермотт ; пер. с англ. [Б. Пинскера]. - 2-е изд. - М. : Альпина Бизнес Букс, 2008. - 250, [3] с. : ил. - Библиогр.: с. 253. -
ISBN
978-5-9614-0576-7 : 255,00 р. -
ISBN
978-5-9614-0819-5 : 00,00
Тит. с. парал. рус., англ
ББК
88.37
Рубрики:
35.Психология.
Кл.слова (ненормированные):
Психология
--
Мышление - системное - образное -
логическое
- контурное
--
Ментальные модели
--
Обучение - Психология
--
Причинно-следственные связи
Аннотация:
Книга, написанная простым, понятным языком, является введением в искусство системного мышления, рассказом о принципах и методах целостного понимания сложных систем и их свойствах.
Держатели документа:
ЯрЦБС
Свободных экз. нет
Найти похожие
39.
22.1
Биркгофф, Г.
Математика и психология [Текст] / Г. Биркгофф ; пер. с англ. Г. Н. Поварова. - Изд. 2-е, испр. - М. : ЛКИ, 2008. - 107, [1] с. - Библиогр.: с. 103 - 108. -
ISBN
978-5-382-00431-0 : 115,00 р.
ББК
22.1
Рубрики:
2.Физико-математические науки.
Кл.слова (ненормированные):
Математика
--
Кибернетика
--
Мышление - дискретно-
логическое
--
Дискретная математика
--
Языки программирования
--
Лингвистика - математическая
--
Континуальная математика
Аннотация:
Книга охватывает широкий круг вопросов на стыке кибернетики, математики и психологии. В ней обсуждаются связи между математикой и психологией и возможности механизации математичекого мышления.
Держатели документа:
ЯрЦБС
Свободных экз. нет
Найти похожие
40.
22.1
Биркгофф, Г.
Математика и психология [Текст] / Г. Биркгофф ; пер. с англ. Г. Н. Поварова. - Изд. 2-е, испр. - М. : ЛКИ, 2008. - 107, [1] с. - Библиогр.: с. 103 - 108. -
ISBN
978-5-382-00431-0 : 115,00 р.
ББК
22.1
Рубрики:
2.Физико-математические науки.
Кл.слова (ненормированные):
Математика
--
Кибернетика
--
Мышление - дискретно-
логическое
--
Дискретная математика
--
Языки программирования
--
Лингвистика - математическая
--
Континуальная математика
--
Разум - искусственный
--
Аппроксимация
--
Континуум
--
Психометрика
Аннотация:
Книга охватывает широкий круг вопросов на стыке кибернетики, математики и психологии. В ней обсуждаются связи между математикой и психологией и возможности механизации математичекого мышления.
Держатели документа:
ЯрЦБС
Свободных экз. нет
Найти похожие
1..20
21..40
41..47