Выбор БД
Сортировать по:
1. Документ
bookCover
Барский, А. Б.
Параллельное программирование : монография / А. Б. Барский ; А. Б. Барский. – 2-е изд., исправ. – Москва : Национальный Открытый Университет «ИНТУИТ», 2016. – 346 с. : ил., табл., схем. – (Основы информационных технологий). – URL: https://biblioclub.ru/index.php?page=book&id=578026. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. – Библиогр.: с. 343 - 344. – ISBN 978-5-94774-546-7. – Текст : электронный.
Авторы: Барский А. Б.
Подробнее
Аннотация: Предлагаются методы параллельных вычислений при решении ряда задач оптимизации, методы организации оптимальных параллельных вычислительных процессов управления и информационного обслуживания, методы диспетчирования и синхронизации. Обсуждается применение методов параллельного программирования при разработке GRID-технологий. Рассматривается реализация языка логического вывода ПРОЛОГ в ВС SPMD-архитектуры. Демонстрируется возможность параллельной обработки списковых структур. Исследуется проблема оптимизации информационного обслуживания сетевой базой данных при превращении её в многоканальную систему массового обслуживания. Ротация сегментов базы данных обеспечивает многоканальный доступ и синхронизацию обращения к ним. Анализируется возможность применения локальной вычислительной сети в качестве вычислительного комплекса для распределённых вычислений. Приводится пример организации вычислений методом «сеток». Рассматриваются параллельные методы решения задач линейного и целочисленного линейного программирования, методы решения транспортной задачи без ограничений и с ограничениями пропускной способности коммуникаций, а также задачи нахождения максимального потока в сети. Предлагаются параллельные методы решения задач нелинейного программирования с линейными ограничениями, произвольной «плоской» задачи нелинейного программирования, а также метод нахождения опорного плана для задачи линейного программирования на основе анализа нормалей к поверхности многогранника допустимых решений. В качестве задач исследования операций освещаются две взаимно обратные задачи: нахождение минимального количества исполнителей для завершения комплекса работ за заданное время и нахождение плана выполнения работ за минимальное время заданным составом исполнителей. Рассматриваются различные схемы организации параллельных управляющих вычислительных процессов, в том числе - в управляющей системе с многоканальным доступом. Приводятся концептуальные основы параллельного программирования в МВК семейства «Эльбрус». Предлагаются диспетчеры для оптимального динамического распределения работ между процессорами однородной и неоднородной вычислительной системы. Рассматриваются средства и задачи синхронизации параллельных процессов при использовании общих ресурсов - во избежание коллизий и тупиковых ситуаций. Освещаются проблемы оценки производительности многопроцессорных вычислительных систем, организации помехоустойчивых вычислений и оценки надёжностных характеристик при испытаниях. Обсуждаются проблемы применения методов параллельных вычислений при реализации GRID-технологий – при объединении всемирных вычислительных ресурсов в сеть со свободным доступом, аналогично единой энергетической системе, что является естественным развитием современного Интернет.
2. Документ
bookCover
Ромм, Я. Е.
Кусочно-полиномиальные приближения функций и решений дифференциальных уравнений в применении к моделям периодических реакций : монография / Я. Е. Ромм, Г. А. Джанунц ; Я. Е. Ромм, Г. А. Джанунц. – Таганрог : Таганрогский государственный педагогический институт имени А. П. Чехова, 2013. – 240 с. : ил. – URL: https://biblioclub.ru/index.php?page=book&id=615049. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. – Библиогр. в кн. – ISBN 978-5-87976-829-9. – Текст : электронный.
Авторы: Ромм Я. Е., Джанунц Г. А.
Подробнее
Аннотация: Кусочно-полиномиальное приближение функций и решений обыкновенных дифференциальных уравнений (ОДУ) строится на основе интерполяционных полиномов Ньютона, вариации длин подынтервалов и степеней полиномов. Приближение решения ОДУ непрерывно, непрерывно дифференцируемо. Оценивается скорость равномерной сходимости приближения функций одной действительной переменной, производных, интегралов и решений ОДУ, а также функций двух действительных переменных. Для научных работников и аспирантов, специализирующихся в области прикладной математики и информатики.
3. Книга
bookCover
Кривоносов, А.Т.
Философия языка / А.Т. Кривоносов. – Москва : Азбуковник, 2012. – 788с.
Авторы: Кривоносов Алексей Тимофеевич
Шифры: 4филос.яз. - К-821
Ключевые слова: 12н., 4-17, философия языка, язык и философия, языковой знак, природа языкового знака, природа языка, язык и мышление, язык и логика, язык в процессе познания, язык и речь, язык и текст, нчз
Экземпляры: Всего: 1, из них: нчз-1
Дисциплины: 0,
4. Книга
bookCover
Верстин, И.С.
"Прелогическое" мышление и его реконструкция в современной логике / И.С. Верстин. – Москва : Янус-К, 2012. – 312 с. : ил. – ISBN 978-5-8037-0560-4 : 303-00.
Авторы: Верстин Игорь Семенович
Шифры: 16 - В-357
Ключевые слова: стчз, первобытное мышление, современная логика, прелогическое мышление, первобытный социум и прелогическое мышление, дуальность в первобытном социуме, дуальность в первобытном социуме для компьютерного моделирования, диффузность речи, Леви-Брюль Л., леви-брюлевское учение, логика, фреймовая методология, фреймы, учение Леви-Брюля Л., 16-18, 13-н
Экземпляры: Всего: 1, из них: стчз-1
Дисциплины: 0,Лингв. и сист. распоз. образов,
5. Документ
bookCover
Информационно-телекоммуникационные и компьютерные технологии, устройства и системы: состояние и перспективы развития в Южном федеральном университете : монография / Е. С. Абрамов, Л. К. Бабенко, А. А. Букатов [и др.] ; Е. С. Абрамов, Л. К. Бабенко, А. А. Букатов, Ю. М. Вишняков, В. Ф. Гузик ; ред. И. А. Каляев ; ред. А. П. Кухаренко ; Федеральное агентство по образованию Российской Федерации ; Южный федеральный университет. – Ростов-на-Дону : Южный федеральный университет, 2010. – 520 с. – URL: https://biblioclub.ru/index.php?page=book&id=241054. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. – библиогр. с: С. 491-506. – ISBN 978-5-9275-0664-4. – Текст : электронный.
Авторы: Абрамов Е. С., Бабенко Л. К., Букатов А. А., Вишняков Ю. М., Гузик В. Ф.
Подробнее
Аннотация: В монографии, подготовленной ведущими учеными и специалистами Южного федерального университета, рассматриваются состояние и перспективы развития приоритетного научного направления «Информационно-телекоммуникационные и компьютерные технологии, устройства и системы» в университете.Монография является завершающим этапом выполнения проекта «Разработка системы междисциплинарных лотов, обеспечивающих развитие приоритетного научного направления "Информационно-телекоммуникационные и компьютерные технологии, устройства и системы" на 2009 год», выполняемого в рамках «Программы развития ЮФУ на 2007-2010 гг.», и базируется на основе аналитических обзоров, представленных руководителями ведущих научно-образовательных школ ЮФУ, работающими в сфере информационно-телекоммуникационных технологий.
6. Документ
bookCover
Котельников, В. А.
Собрание трудов : научная литература / В. А. Котельников ; В. А. Котельников. – Москва : Физматлит, 2008. – 520 с. – URL: https://biblioclub.ru/index.php?page=book&id=76791. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. – ISBN 978-5-9221-1011-2. – Текст : электронный.
Авторы: Котельников В. А.
Подробнее
Аннотация: В первый том собрания трудов выдающегося российского ученого академика В. А. Котельникова (1908–2005), подготовленного к 100-летию ученого, вошли его работы по радиофизике, радиотехнике, теории информации и криптографии, написанные в период 1927–1997 гг. Впервые публикуется его знаменитая работа «О пропускной способности “эфира” и проволоки в электросвязи», сделанная в 1932 году, в которой было введено понятие о количестве информации, а также доказана возможность и предложен способ цифровой передачи аналогового сигнала. Включена также «Теория потенциальной помехоустойчивости», являющаяся настольной книгой многих поколений ученых и инженеров и не переиздававшаяся более полувека. В этот том вошли творческая биография ученого и комментарии самого В. А. Котельникова и его коллег к опубликованным работам.Для ученых, инженеров и разработчиков радиоаппаратуры, а также для всех, кого интересует история отечественной науки.
7. Книга
bookCover
Безлепкин, Н. И.
Философия языка в России. К истории русской философии / Н. И. Безлепкин. – 2-е изд., доп. – Санкт-Петербург : Искусство-СПб, 2002. – 269, [1] с. – (Территория культуры: философия). – ISBN 5-210-01555-6 : 250-00. – Текст : непосредственный.
Авторы: Безлепкин Николай Иванович
Шифры: 4филос.яз. - Б 397
Ключевые слова: языкознание, философия языка, лингвофилософия, лингвофилософия в России, нчз, 21н
Экземпляры: Всего: 1, из них: нчз-1
8. Книга
bookCover
Коротенков, Юрий Григорьевич.
Формализованная информациология / Ю.Г. Коротенков ; Под ред.А.Г.Харитона. – Москва : Информациология, 2000. – 32с. – 10-00.
Авторы: Коротенков Юрий Григорьевич
Шифры: 001.8 - К-68
Ключевые слова: Информациология, книга 1, Информация
Экземпляры: Всего: 1, из них: фонд-1
Дисциплины: 0,
9. Книга
bookCover
Смирнов В.А.
Теория логического вывода / В.А. Смирнов ; Под ред.А.М.Анисова. – Москва : РОССПЭН, 1999. – 320с. : портр. – 20-00.
Авторы: Смирнов В.А.
Шифры: 16 - С-50
Ключевые слова: Логика, нчз
Экземпляры: Всего: 1, из них: нчз-1
Дисциплины: 0,
10. Документ
bookCover
Переверзев В.Н.
Металогический анализ знаковых систем / В.Н. Переверзев ; Мин.общ.и проф.образ.РФ. МГЛУ. – [Неопубл. док. (рукоп.)]. – Москва : МГЛУ, 1998. – 9с.
Авторы: Переверзев В.Н.
Шифры: ДР-88
Ключевые слова: Депонированная рукопись, н.а., Логика, Информатика, Металогика, Техника, Знаковые системы
11. Книга
bookCover
Логический подход к искусственному интеллекту : От модальной логики к логике баз данных / А. Тейз, П. Грибомон, Г. Юлен, А. Пирот ; Авт.:А.Тейз, П.Грибомон, Г.Юлен, А.Пирот и др.;Пер. с франц. Г.П.Гаврилова, П.П.Пермякова и А.А.Ивановой; Под ред. Г.П.Гаврилова. – Москва : Мир, 1998. – 494с. – Парал. тит.л. на франц.яз. – 2-00.
Авторы: Тейз А., Грибомон П., Юлен Г., Пирот А.
Шифры: 16 - Л-69
Ключевые слова: Логика, Искусственный интеллект, Информатика, Техника, Модальная логика
Экземпляры: Всего: 1, из них: фонд-1
Дисциплины: 0,
12. Документ
bookCover
Переверзев В.Н.
Логическая семантика как часть металогики / В.Н. Переверзев ; Мин.общ.и проф.образ.РФ. МГЛУ. – [Неопубл. док. (рукоп.)]. – Москва, 1998. – 15с.
Авторы: Переверзев В.Н.
Шифры: ДР-89
Ключевые слова: Депонированная рукопись, н.а., Логическая семантика, Логика, Металогика
13. Книга
bookCover
Грифцова Ирина Николаевна.
Логика как теоретическая и практическая дисциплина : К вопросу о соотношении формальной и неформальной логики / И.Н. Грифцова. – Москва : УРСС, 1998. – 152с. – 10-00.
Авторы: Грифцова Ирина Николаевна
Шифры: 16 - Г-85
Ключевые слова: Логика, Формальная логика, Неформальная логика
Экземпляры: Всего: 1, из них: фонд-1
Дисциплины: 0,
14. Документ
bookCover
Переверзев В.Н.
Логика : Программа курса для студентов гуманитарных вузов / В.Н. Переверзев ; Мин.общ.и проф.образ.РФ. МГЛУ. – [Неопубл. док. (рукоп.)]. – Москва : МГЛУ, 1998. – 14с.
Авторы: Переверзев В.Н.
Шифры: ДР-87
Ключевые слова: Депонированная рукопись, н.а., Логика, Программа
15. Книга
bookCover
Мартишина, Наталья Ивановна.
Наука и паранаука в духовной жизни современного человека / Н.И. Мартишина. – Омск : ОмГТУ, 1997. – 178с. – 1-00.
Авторы: Мартишина Наталья Ивановна
Шифры: 1ми - М-29
Ключевые слова: Социальная философия, Логика, Духовность, Наука, Философия, Паранаука
Дисциплины: 0,
16. Книга
bookCover
Кривоносов, А.Т.
Язык. Логика. Мышление : умозаключение в естественном языке / А.Т. Кривоносов ; МГЛУ. – Москва ; Нью-Йорк : ВАЛАНГ, 1996. – 682 с. – 442-00.
Авторы: Кривоносов Алексей Тимофеевич
Шифры: 4яз. и логика - К-82
Ключевые слова: нчз, 19пр
Экземпляры: Всего: 4, из них: аб-1, нчз-1, фонд-2
Дисциплины: 0,
17. Книга
bookCover
Никифоров, А.Л.
Общедоступная и увлекательная книга по логике, содержащая объемное и систематическое изложение этой науки профессором философии / А.Л. Никифоров. – Москва : Гнозис, 1995. – 224 с. : ил.
Авторы: Никифоров Александр Леонидович
Шифры: 16 - Н-62
Ключевые слова: аб
Экземпляры: Всего: 2, из них: фонд-2
Дисциплины: 0,
18. Книга
bookCover
Кривоносов, А.Т.
Естественный язык и логика / А.Т. Кривоносов ; МГЛУ. – Москва ; Нью-Йорк : Wickersham Printing Company Inc, 1993. – 318 с. – 1993г.
Авторы: Кривоносов Алексей Тимофеевич
Шифры: 4яз. и логика - К-82
Ключевые слова: нчз
Экземпляры: Всего: 6, из них: аб-1, нчз-1, фонд-4
Дисциплины: 0,
19. Книга
bookCover
Логический анализ языка. Модели действия / Ин-т языкознания РАН. – Москва : Наука, 1992. – 166 с.
Шифры: 4мет.и пр.линг.иссл. - Л-69
Ключевые слова: нчз
Экземпляры: Всего: 2, из них: нчз-1, фонд-1
Дисциплины: 0,
20. Книга
bookCover
Логика: наука и искусство / В.С. Меськов, О.Ю. Карпинская, О.В. Ляшенко, Я.В. Шрамко. – Москва : Высшая школа, 1992. – 333 с. : ил.
Шифры: 16 - Л-69
Ключевые слова: аб
Экземпляры: Всего: 2, из них: фонд-2
Дисциплины: 0,