Главная страница
Государственная публичная научно-техническая библиотека России
Базы данных
- результаты поиска
Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Ключевые слова (ВЕЗДЕ)
Автор
Заглавие
Год издания
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=логика<.>)
Общее количество найденных документов
:
26
Показаны документы
с 1 по 26
>
1.
>
(
)
American Journal of
Computational and Applied Mathematics [Электронный ресурс]. - Rosemead : Scientific & Academic Publishing Co., 2011 - . - Выходит раз в два месяца. - ISSN 2165-8935
Аннотация:
Научный журнал. Статьи по исследованиям во всех разделах прикладной математики и вычислительных наук, а также по следующим темам: теория управления; вычислительная
логика
; теория кодирования; динамические системы; дискретная оптимизация; прикладная дискретная математика; дифференциальные уравнения и применение; экспериментальная математика; нечёткая теория и применение; линейное и нелинейное программирование; математическая биология; численный анализ; численные вычисления; статистика; теория вычислений; теория алгоритмов и др. Выходят также специальные тематические выпуски.
journal link
Найти похожие
>
2.
>
(
)
Artificial Intelligence and
the Law [Электронный ресурс]. - Berlin : springer, 1992 - . - Выходит ежеквартально. - ISSN 0924-8463
Аннотация:
Статьи по теоретическим и эмпирическим исследованиям в области искусственного интеллекта (ИИ), когнитивной психологии, юриспруденции, лингвистики и философии, определяющим развитие формальных и вычислительных моделей юридических знаний, рассуждений и принятия решений: новаторские системы ИИ, используемые в области юриспруденции; работы этического и социального значения; вычислительные модели рассуждений и принятия решений, рассуждений по поводу приговора, прецедента и этики, рассуждений тяжущихся сторон; юридические теории правовых рассуждений;
логика
закона; психологические и лингвистические работы; правовые экспертные системы, нормативные системы; интеллектуальная обработка документа; концептуальный поиск дел и законодательных актов, автоматическое понимание текста, интеллектуальные системы компоновки документа, гипертекст; интеллектуальные компьютерные учебные системы; методы аудита и оценки правовых систем ИИ; системные проблемы построения правовых систем ИИ; воздействие ИИ на законодательные и правовые учреждения.
journal link (full text - из читальных залов ГПНТБ)
Найти похожие
>
3.
>
(
)
Central European Journal
of Computer Science [Электронный ресурс]. - Berlin : springer, 2011 - . - Выходит ежеквартально. - ISSN 1896-1533
Аннотация:
Международный научный журнал. Статьи по результатам исследований в области компьютерных наук: алгоритмы и теория сложности вычислений (анализ и алгоритмы, теория вычислимости, структуры данных, модели вычислений); искусственный интеллект (когнитивные системы, вычислительная лингвистика, компьютерное зрение, извлечение данных, взаимодействие человек-машина, обработка изображений, представление знаний, машинное обучение, обработка естественного языка, распознавание образов); биоинформатика (средства биостатистики, инструменты генного анализа, онтологии в биоинформатике, физиологическое моделирование, средства анализа последовательностей, Web-сервисы в биоинформатике); организация сети и системы безопасности (криптография, распределённые вычисления, мобильные системы, сетевые протоколы, защита данных в сети, параллельные вычисления); языки программирования (проектирование и реализация компилятора, формальная семантика, дизайн языка, спецификации языка, грамотное программирование, парадигмы программирования); система и разработка программного обеспечения (системы баз данных, встроенные системы, операционные системы, разработка программного обеспечения, тестирование и верификация программного обеспечения); теоретические основы компьютерных наук: (теория автоматов, теория категорий, теория графов, математическая
логика
, теория типов).
journal link (full text - НТО-3)
Найти похожие
>
4.
>
(
)
Computer Science and
Engineering [Электронный ресурс]. - Rosemead : Scientific & Academic Publishing Co., 2011 - . - Периодичность 7. - ISSN 2163-1484
Аннотация:
Научный журнал. Статьи по исследованиям в области компьютерных наук, содержащие новые теоретические результаты и новации в области их применения. Включает следующие темы: искусственный интеллект, компьютерные науки и моделирование, архитектура компьютера, вычисления и язык, вычислительная сложность; вычислительная инженерия, финансы и наука; вычислительная геометрия, компьютерная наука и теория игр, компьютерное зрение и распознавание образов, компьютеры и общество, криптография и безопасность, данные и поиск в интернете, алгоритмы и структуры данных, базы данных, цифровые библиотеки, дискретная математика,
логика
в компьютерных науках, программное обеспечение для решения математических задач, мультимедиа, сетевые технологии и архитектура интернета, нейронный и эволюционный компьютинг, численный анализ, операционные системы, рабочие характеристики, языки программирования, робототехника, разработка программного обеспечения, символьные вычисления, и др. Выходят также специальные тематические выпуски.
journal link
Найти похожие
>
5.
>
(
)
Computer-Aided Civil and
Infrastructure Engineering [Электронный ресурс]. - [Б. м.] : John Wiley & Sons, Inc, 1998 - (Ulrich). - Выходит раз в два месяца. - ISSN 1093-9687
Аннотация:
Статьи и обзоры по компьютерным технологиям и применению новых компьютерных методов в строительстве транспортной и водохозяйственной инфраструктуры ( инженерно-геологические изыскания, проектирование зданий и сооружений, инженерия водных ресурсов, дорожный транспорт, моделирование условий эксплуатации), в управлении инфраструктурными системами (мосты, автодороги, дорожные покрытия, аэропорты, инженерное обеспечение), в машинном обучении. Журнал также включает темы: методы визуализации и виртуальная реальность, искусственный интеллект, машинное обучение, интеллектуальные структуры, параллельная обработка, нечеткая
логика
, методы управления базой данных, вычисления в нейронных сетях, когнитивное моделирование, параллельное проектирование, распределенные вычисления, эволюционные вычисления, геометрическое моделирование, инженерия знаний, мультимедийные технологии, роботика, разработка программного обеспечения. Авторский указатель каждому тому.
journal link (full text - из читальных залов ГПНТБ)
Найти похожие
>
6.
>
Шифр: W8149
(Журнал
)
Computers in Industry
[Текст]. - Amsterdam : Elsevier Science Publishers, 1979 - . - Impact Factor 1.529. - Выходит 10 раз в год. - ISSN 0166-3615
Аннотация:
Статьи освещают новые тенденции в выборе и использовании информационных технологий (ИТ) в промышленности; практику применения ИТ в производственных процессах (проектирование, техника, производство, управление производством, контроль качества на всех этапах, управление инженерными данными и др.); расширение возможностей новых и существующих ИТ (системы реального времени, техника представления знаний, прикладная нечеткая
логика
и др.); содержат описания собственно производственных процессов. Обзоры книг, календарь событий; в последнем номере тома - пономерной, авторский и предметный указатели.
Зарегистрированы поступления:
2002
2001
1999
1996
1995
1994
1993
1992
2002
Vol. 49; N: 1-3; Vol. 48; N: 1-3; Vol. 47; N: 1-3;
2001
Vol. 46; N: 1-3; Vol. 45; N: 1-3; Vol. 44; N: 1-3;
1999
Vol. 40; N: 1,2/3; Vol. 39; N: 1-3; Vol. 38; N: 1-3;
1996
Vol. 29; N: 1/2,3; Vol. 28; N: 2,3;
1995
Vol. 28; N: 1; Vol. 27; N: 1-3; Vol. 26; N: 1-3; Vol. 25; N: 3;
1994
Vol. 25; N: 1,2; Vol. 24; N: 1,2/3;
1993
Vol. 23; N: 3,1/2; Vol. 22; N: 1-3; Vol. 21; N: 1-3;
1992
Vol. 20; N: 1-3; Vol. 19; N: 1-3; ; Vol. 18; N: 1-3
journal link (full text - НТО-3)
Найти похожие
>
7.
>
(
)
Fuzzy Information and
Engineering [Электронный ресурс]. - Berlin : springer, 2009 - . - Выходит ежеквартально. - ISSN 1616-8658
Аннотация:
Международный научно-технический журнал. Предоставляет унифицированную коммуникационную платформу для исследователей широкого круга научных проблем чистой и прикладной математики, компьютерных наук, технологии и других смежных областей при обязательном акцентировании вопросов применения результатов. Публикуются статьи, краткие сообщения и обзоры. Тематика: нечёткая информация (информационные системы; комплексное проектирование аппаратного и программного обеспечения; компьютер, реализующий нечёткую логику; нечёткие базы данных; обработка нечётких изображений и распознавание образов); нечёткие множества и системы (топология, уравнения, программирование,
логика
и алгебра, социоэкономические системы, системы поддержки принятия решений, экспертные системы); мягкие вычисления (организация вычислительных процессов на основе использования нечёткой логики, нейронных сетей, генетических алгоритмов и методов принятия решений в условиях неопределённости); нечёткие технологии (управление, системотехника, инженерия знаний, проектирование, системное моделирование); исследование операций над нечёткими явлениями (оценка и принятие решений, планирование, прогнозирование, теория графов, поток в сети); искусственный интеллект (приблизительные рассуждения, нейронные сети, интеллектуальное управление и роботы), теория неточных множеств, нечёткая лингвистика, нечёткая биологи и др.
journal link (full text - НТО-3)
Найти похожие
>
8.
>
(
)
Higher-Order and Symbolic
Computation [Электронный ресурс]. - Berlin : springer (Springer). - Выходит ежеквартально. - ISSN 1388-3690
СВЕДЕНИЯ ОБ ИЗМЕНЕНИИ ИЗДАНИЯ: Настоящее издание
В 1998г. переименовано из LISP and Symbolic Computation. - ISSN 0892-4635 (Шифр V4503)
Аннотация:
Статьи по результатам исследований в области программирования при использовании функций высшего порядка и символьных вычислений: функциональное программирование и результаты; объектно-ориентированное программирование; параллельные, одновременные, распределенные, а также мобильные символьные и функциональные вычисления; программирование: понятия и абстракции - абстракция данных, ленивые вычисления, самоадресация, отображение, продолжения, компоненты, родовидовые функции, наследование, инкапсуляция, защита, сохранность, мета-объекты, протоколы связи и др.; теория языков программирования - семантика, специфицирование и умозаключение о программе,
логика
программирования, типы и тип с выводами; манипуляция с программами, базирующимися на семантике - компилирование, анализ, частичное вычисление, инструментальное оснвщение и другие преобразования программы; реализация и ее способы - специализированная архитектура, проектирование компилятора, комбинаторные модели, сбор ненужной информации ("мусора"), управление хранением, анализ эксплуатационных показателей; среда и средства программирования - средства программирования, базирующиеся на знаниях, средства искусственного интеллекта и средства отладки; применение - символьное вычислением при программировании реального времени, системы окон, пользовательский интерфейс, операционные системы и параллельные распределенные вычисления.
journal link (full text - НТО-3)
Найти похожие
>
9.
>
Шифр: V4741
(
)
International Journal of
Foundations of Computer Science [Электронный ресурс]. - [S. l.] : World Scientific Publishing Co. Pte. Ltd, 1990 - . - Выходит ежеквартально. - ISSN 0129-0541
Аннотация:
Статьи о новых теоретических результатах исследований во всех основополагающих областях компьютерных наук. Теоретические и математические аспекты охватывают темы: алгебраическая теория и формальные системы; алгоритм и реализация системы; аппроксимация, теория вероятностей и рандомизированные алгоритмы; автоматы и формальные языки; автоматизированная дедукция; комбинаторика и теория графов; теория сложности; криптография; теория баз данных; структуры данных; проектирование и анализ алгоритмов; основы компьютерной безопасности; основы высокопроизводительных вычислений;
логика
в компьютерных науках; модели вычислений; проверка модели и компьютерная верификация; квантовые вычисления; семантика, параллелизм и теория типов; теории и модели вычислений в Интернете; теория обучения и индуктивный вывод; теория параллельных и распределенных вычислений; сети с беспроволочной связью и мобильные вычисления; и др. Выходят также тематические номера.
journal link (full text - НТО-3)
Найти похожие
>
10.
>
(
)
International Journal of
Information Science [Электронный ресурс]. - Rosemead : Scientific & Academic Publishing Co., 2011 - . - Выходит раз в два месяца. - ISSN 2163-1921
Аннотация:
Международный научный журнал. Статьи по теоретическим и практическим исследованиям всех аспектов информационных наук: искусственный интеллект, искусственные нейронные сети, адаптивный и инспекционный контроль, теория автоматов, приблизительные рассуждения, вычисления со словами, автоматизация и мобильные роботы, биоинформатика, биометрика, картирование головного мозга, когнитивные науки, вычислительный интеллект, компьютерный коммуникационные сети и моделирование, компьютерные системы, компьютерное зрение, системы с дискретными событиями, экспертные системы, системы поддержки принятия решений, компрессия данных, инженерия данных, интеграция и совместная обработка данных, проектирование алгоритмов, финансовое и экономическое моделирование и оптимизация, нечёткая
логика
, генетические алгоритмы и моделирование, интерфейс человек-компьютер, обработка изображений, виртуальная реальность, информация и знания, нановычисления, теория информации, интеллектуальные системы, изготовление, язык и проектирование механизма поиска, семиотика, обучение и эволюционные вычисления, мягкие вычисления, математическая лингвистика, восприятие и распознавание образов, фотонные сети, проектирование программного обеспечения, символьные/численные и статистические методы, теории качественного поведенияЮ и др. Выходят также специальные тематические выпуски.
journal link
Найти похожие
>
11.
>
(
)
International Journal of
Information Technology & Decision Making [Электронный ресурс]. - [S. l.] : World Scientific Publishing Co. Pte. Ltd, 2004 - (Ul'2008). - Выходит ежеквартально. - ISSN 0219-6220
Аннотация:
Статьи по теоретическим, эмпирическим и практическим исследованиям информационных технологий и различных методов принятия решений и их взаимного влияния на развитие. Тематика журнала охватывает: принятие решений (программное обеспечение, критерии, модели, системы поддержки, использование Интернет, мультимедиа, сетей, нейронных сетей, визуализация, онлайновый бизнес, электронные транзакции, торговля, информационная безопасность и др.); искусственный интеллект и принятие решений; кластерный компьютинг; "добыча" информации, в т.ч. через Web; информационное хранилище; поисковые системы; оценка баз данных; принятие решений и распределенные системы; технологии решений в проектировании информационной системы; построение вебсайта, цифровой библиотеки; нечеткая
логика
и Интернет; привычный домен и информационные технологии; взаимодействие человек-компьютер; информационная этика и юридические оценки; совмещение информации; информационная политика; технологии интеллектуальных агентов; обработка интеллектуальной и нечеткой информации; модели представления знаний; модели распознавания образов; параллельный компьютинг; рассуждения при неопределенности; беспроводные технологии и др.
journal link (full text - НТО-3)
Найти похожие
>
12.
>
Шифр: V4165
(
)
Journal of Automated
Reasoning [Электронный ресурс]. - Berlin : springer, 1985 - (Springer). - Выходит раз в два месяца. - ISSN 0168-7433
Аннотация:
Статьи по теории, процессам и применению автоматических рассуждений: от представления новых правил вывода с доказательствами их логических свойств до детальных отчетов о компьютерных программах, спроектированных для решения задач в промышленности: автоматическое доказательство теорем, логическое программирование, экспертные системы, синтез и оценивание программ, искусственный интеллект, вычислительная
логика
, роботехника и их применение в промышленности; проектирование и реализация компьютерных программ для решения задач автоматического проектирования.
journal link (full text - НТО-3)
Найти похожие
>
13.
>
(
)
Journal of Logic
and Computation [Электронный ресурс]. - Oxford : Oxford University Press, 1990 - . - Выходит раз в два месяца. - ISSN 0955-792X
Аннотация:
Статьи, обзоры, дискуссии по исследованиям в области логики и вычислений: логические системы (классическая и неклассическая
логика
, конструктивная
логика
, категориальная
логика
, модальная
логика
, теория типов и др.);
логика
в логическом программировании, системах с базами знаний и автоматизированных рассуждениях;
логика
в представлении знаний (немонотонные рассуждения и системы знаний и убеждений);
логика
и семантика программирования; спецификация и верификация программ и систем; приложения логики в аппаратном обеспечении и СБИС, естественных языках, параллельных вычислениях, планировании и базах данных. Обзоры материалов конференций, письма в редакцию.
journal link (full text - из читальных залов ГПНТБ)
Найти похожие
>
14.
>
(Журнал
)
Journal of Logic,
Language and Information [Электронный ресурс]. - Berlin : springer, 1992 - (Springer). - ISSN 0925-8531
Аннотация:
Статьи по логическим и вычислительным основам естественных, формальных языков и языков программирования, а также различным формам умозаключений, составляющим логическую, лингвистическую и теоретико-информационную части когнитивных наук. Особое внимание уделяется теоретическим основам наук: интенсиональная
логика
, в т.ч. динамическая
логика
; немонотонная
логика
и пересмотр убеждений; конструктивная
логика
; сложность проблем в логике и лингвистике; теоретические задачи логического программирования; категориальная грамматика и теория типов;обобщенная квантификация; информацонно-ориентированные теории семантической структуры (ситуационная семантика, теория представления дискурса и динамическая семантика); коннекционистская модель логических и лингвистических структур.
journal link (full text - НТО-3)
Найти похожие
>
15.
>
(
)
Journal of Low
Power Electronics and Applications [Электронный ресурс]. - Basel : MDPI AG, 2011 - . - Выходит ежеквартально. - ISSN 2079-9268
Аннотация:
Научно-технический журнал. Статьи, обзоры и краткие сообщения по исследованиям в области применения маломощной электроники, особенно, электроники сверхнизкой мощности биомедицинского назначения. Приводятся только максимально детализированные экспериментальные и теоретические результаты, позволяющие их воспроизведение. Охватывает тематику: применение маломощной электроники: датчиков, средств безопасности, космических устройств, портативных средств связи, мультимедиа, обработка маломощных сигналов и изображений; применение электроники сверхнизкой мощности: имплантируемая электроника, носимая электроника, для капсульной эндоскопии, для исследования мозга, лаборатория на чипе, мониторинг участков тела, нейроморфные чипы в инженерии искусственного интеллекта, биоэлектроника, биосенсорные схемы, наноэлектроника, электроника для технологии изображений; применение маломощных цепей и систем: технологии, устройства, цифровая
логика
, цифровые логические схемы, выбор низковольтного цифрового или аналогового или смешанного сигнала, системы сверхбольшой степени интеграции, устройства памяти, асинхронная
логика
, процессоры, межсоединения, конвертер аналогового сигнала в цифровой, накопление энергии и др.
journal link
Найти похожие
>
16.
>
Шифр: W2238
(Журнал
)
Journal of Mathematical
Physics [Текст]. - Woodbury, NY : American Institute of Physics, 1960 - . - ISSN 0022-2488
Аннотация:
Статьи по исследованиям в области математической физики: разработка математических формулировок физических теорий и математических методов (
логика
, теория множеств, алгебра; теория групп; функциональный анализ, теория операторов; дифференциальная геометрия, топология; теория вероятностей, случайные процессы; численные методы решений) для решения физических задач классической и квантовой физики (классическая механика дискретных систем и сплошных сред, классическая и квантовая теория поля, квантовая механика, общая теория рассеяния), общей теории относительности и гравитации, статистической физики и термодинамики, общей теории полей и физики элементарных частиц, оптики, акустики, физики газов и конденсированных сред, астрономии, космологии. В последнем номере тома - годовые авторский и систематический указатели (по классификационной схеме PACS).
Зарегистрированы поступления:
1996
1995
1994
1993
1996
Vol. 37; N: 3-7;
1995
Vol. 36; N: 1-12;
1994
Vol. 35; N: 1-12;
1993
Vol. 34; N: 1-12,Ind.Cumulative Index vol.30-34(1989-1993)
journal link (full text - НТО-3)
Найти похожие
>
17.
>
Шифр: V3161
(
)
Journal of Mathematical
Sociology [Электронный ресурс]. - London : Taylor and Francis Ltd, 1971 - . - Выходит ежеквартально. - ISSN 0022-250X
Аннотация:
Статьи по всем аспектам математической социологии и смежным проблемам из других дисциплин (поскольку они способствуют пониманию реальных социальных явлений): использование математических моделей,
логика
измерений, компьютеры и компьютерное программирование, прикладная математика, статистика или количественная методология; а также статьи нематематического характера, уточняющие или обобщающие проблемы и стимулирующие их математическую обработку. Обзоры новых и быстро развивающихся областей математики и математического моделирования, которые могли бы использоваться в социологических исследованиях.
journal link (full text - из читальных залов ГПНТБ)
Найти похожие
>
18.
>
(
)
Journal of Safety
Engineering [Электронный ресурс]. - Rosemead : Scientific & Academic Publishing Co., 2012 - . - Выходит ежеквартально. - ISSN 2325-0003
Аннотация:
Научно-технический журнал. Статьи по промышленным и лабораторным исследованиям теоретических и практических аспектов техники безопасности: надёжность конструкции критических систем, проектирование средств обеспечения безопасности, параллельное проектирование, алгоритмы, проектирование и изготовление систем, нечёткая
логика
, отказоустойчивая вычислительная техника, моделирование и управление, оптимизация надёжности систем, анализ рабочих характеристик систем, планирование и измерения качества, гарантия качества и техника управления качеством, анализ и оценка риска, прогнозирование и повышение надёжности, программное обеспечение, его тестирование и надёжность и др.
journal link
Найти похожие
>
19.
>
(
)
Knowledge and Information
Systems [Электронный ресурс]. - Berlin : springer, 1999 - (Springer). - Выходит ежеквартально. - ISSN 0219-1377
Аннотация:
Международный научный журнал. Статьи, критические обзоры о новых достижениях во всех областях, относящихся к системе знаний и передовым информационным системам, их теоретическим основам, инфраструктуре и высокоэффективным технологиям; по обработке знаний и информации (теория, методы, системы); активные и динамические системы, коллективное использование данных и организация информационных хранилищ; обработка временной и пространственной базы даных; интеллектуальный поиск информации; моделирование и объектная ориентация; реконструирование программных средств; программная совместимость и повторное использование ПО; взаимодействие человек-машина; поддержка решений; гипертекст, гипермедиа и мультимедиа; визуализация данных и знаний; высокопроизводительные компьютерные системы; распределённые интеллектуальные системы; мобильные системы; вычислительные методы: мягкие вычисления (вкл. нейронные сети, нечёткая
логика
, вероятностное рассуждение, теория грубых множеств); вычисления с помощью эволюционных алгоритмов; гибридные вычисления; сферы применения (в т.ч. новые области - интернет-технологии, цифровые библиотеки и др.)
journal link (full text - из читальных залов ГПНТБ)
Найти похожие
>
20.
>
Шифр: V5106
(Журнал
)
Mathematical Reports
[Текст]/ Romanian academy. - Bucuresti : Editura Academiei Romane, 1999 - . - Выходит ежеквартально. - ISSN 1582-3067
СВЕДЕНИЯ ОБ ИЗМЕНЕНИИ ИЗДАНИЯ: Настоящее издание
В 1999г. переименовано из Studii si Cercetari Matematice. - ISSN 0039-4068 (Шифр V1857)
Аннотация:
Научный журнал. Статьи по исследованиям в области чистой и прикладной математики: алгебра, теория групп, алгебры Ли,
логика
, комбинаторика, теория чисел, математический анализ, функциональный анализ, численный анализ, теория потенциала, комплексный анализ, обыкновенные дифференциальные уравнения, дифференциальные уравнения с частными производными, геометрия, алгебраическая геометрия, топология, динамические системы, теория вероятностей, статистика, математическая физика, механика жидкости, механика твёрдого тела, вариационное исчисление, математические задачи в науках, исследование операций, а также материалы международных конференций, состоявшихся в Румынии, обзорные статьи и докторские диссертации; преподавание математики, использование в научных исследованиях и технологиях.
Зарегистрированы поступления:
2011
2010
2009
2008
2006
2005
2004
2003
2002
2001
2000
1999
2011
Vol. 13; N: 1,2;
2010
Vol. 12; N: 1-4;
2009
Vol. 11; N: 1-4;
2008
Vol. 10; N: 1-4;
2006
Vol. 8; N: 1-4;
2005
Vol. 7; N: 1-4;
2004
Vol. 6; N: 1-4;
2003
Vol. 5; N: 1-4;
2002
Vol. 4; N: 1-4;
2001
Vol. 3; N: 1-4;
2000
Vol. 2; N: 1-4;
1999
Vol. 1; N: 1-4
journal link
Найти похожие
>
21.
>
Шифр: V741
(
)
Monatshefte f@:ur Mathematik
[Электронный ресурс]. - Berlin : springer, 1890 - (Springer). - Выходит 8 раз в год. - ISSN 0026-9255
Аннотация:
Статьи по исследованиям во всех разделах математики: алгебра, реальный и комплексный анализ, топологические группы, динамические системы, функциональный анализ, геометрия, локально компактные группы, теория чисел, теория вероятностей, комбинаторика, функции комплексного переменного, теория категорий, теория графов, математическая
логика
. Обзоры значительных результатов в области чистой и прикладной математики и математической физики.
journal link (full text - НТО-3)
Найти похожие
>
22.
>
(
)
Moscow University Mathematics
Bulletin [Электронный ресурс]. - Berlin : springer. - Выходит раз в два месяца. - ISSN 0027-1322
Аннотация:
Научный журнал. Статьи и краткие сообщения в различных областях теоретической и прикладной математики, включая математический анализ, теория функций и функционального анализа; алгебра, геометрия и топология, дифференциальные уравнения, математическая физика; теории вероятностей, математической статистики, случайных процессов, оптимального управления; математическая
логика
, теория алгоритмов, теория чисел, дискретной математики и математической кибернетики.
journal link (full text - НТО-3)
Найти похожие
>
23.
>
Шифр: V4806
(Журнал
)
Neurocomputing
[Текст]. - Amsterdam : Elsevier Science Publishers, 1989 - . - Impact Factor 1.580. - Выходит дважды в месяц. - ISSN 0925-2312
Аннотация:
Статьи по теоретическим исследованиям, разработкам и применению нейровычислительных систем: нейронные сети и самообучаемые системы (архитектуры, теории и методы обучения, анализ динамики сети, самоорганизация, моделирование биологических нейронных сетей, сенсоримоторные преобразования и др.); смежные вопросы: искусственный интеллект, искусственная жизнь, когнитивная наука, компьютерная теория обучения, нечеткая
логика
, генетические алгоритмы, теория информации, машинное обучение, нейробиология и распознавание образов; новые достижения в проектировании среды аппаратных и программных средств для нейрокомпьютинга (программное обеспечение моделирования, архитектура аппаратного обеспечения эмуляции, модели параллельного вычисления, нейрокомпьютеры и нейрочипы и др.); применение нейронных сетей в различных областях (обработка сигнала и изображения, компьютерное зрение, управление, робототехника, оптимизация, календарное планирование, распределение ресурсов, прогнозирование и др.). Материалы дискуссий и сравнительные оценки, отчеты о конференциях, обзоры книг. В последнем номере тома - авторский и предметный указатели к тому.
Зарегистрированы поступления:
2002
2001
1999
1996
1995
1994
1993
1992
2002
Vol. 47; Aug.; Vol. 44/46; June PT.1,June Pt.2; Vol. 43; March; Vol. 42; JANUARY,COMPL;
2001
Vol. 41; Oct.; Vol. 38/40; June; Vol. 37; Apr.; Vol. 36; Feb.;
1999
Vol. 29; N: 1/3; Vol. 28; Compl.; Vol. 26/27; June; Vol. 25; N: 1/3; Vol. 24; N: 1/3;
1996
Vol. 12; N: 1,2/3,4; Vol. 11; N: 2/4,1; Vol. 10; N: 1-4;
1995
Vol. 9; N: 1-3; Vol. 8; N: 1-3; Vol. 7; N: 1-3;
1994
Vol. 6; N: 1-4,5/6;
1993
Vol. 5; N: 1,4/5,2/3,6;
1992
Vol. 4; N: 1/2,5,6,3/4
journal link (full text - НТО-3)
Найти похожие
>
24.
>
Шифр: V1356
(Журнал
)
American Mathematical Society (Providence, RI).
Proceedings of the American Mathematical Society [Текст]. - Providence, RI : American Mathematical Society, 1950 - . - Выходит ежемесячно. - ISSN 0002-9939
Аннотация:
Статьи по новым значительным результатам исследований в области чистой и прикладной математики в разделах: алгебра, теория чисел и комбинаторика; анализ; прикладная математика; геометрия; основания математики и математическая
логика
; теория вероятностей и математическая статистика; топология. В последнем номере тома - пономерной указатель содержания.
Зарегистрированы поступления:
2000
1999
1998
1997
1996
1995
1994
1993
1992
2000
Vol. 128; N: 1-12;
1999
Vol. 127; N: 1-12;
1998
Vol. 126; N: 1-12;
1997
Vol. 125; N: 1-12;
1996
Vol. 124; N: 1-12;
1995
Vol. 123; N: 1-12;
1994
Vol. 122; N: 1-4; Vol. 121; N: 1-4; Vol. 120; N: 1-4;
1993
Vol. 119; N: 1-4; Vol. 118; N: 1-4; Vol. 117; N: 1-4;
1992
Vol. 116; N: 1-4; Vol. 115; N: 1-4; ; Vol. 114; N: 1-4
journal link
Найти похожие
>
25.
>
Шифр: V2983
(
)
Semigroup Forum
[Электронный ресурс]. - Berlin : springer, 1970 - (Springer). - Выходит раз в два месяца. - ISSN 0037-1912
Аннотация:
Научный журнал. Платформа для скоростной и эффективной передачи информации. Статьи и обзоры по текущим исследованиям по теории полугрупп: алгебраические полугруппы, топологические полугруппы, частично упорядоченные полугруппы, полугруппы мер, гармонический анализ полугрупп, полугруппы преобразований, полугруппы операторов; приложение теории полугрупп к другим дисциплинам: теория колец, теория категорий, автоматы и
логика
; предварительные сообщения о научных исследованиях с описаниями новых результатов (обычно без доказательств), обобщениями известных фактов, постановкой научных проблем, комментариями по поводу нерешённых проблем и историческими ремарками. Информация о конференциях, семинарах и симпозиумах; рекомендательные перечни книг и др. материалов.
journal link (full text - НТО-3)
Найти похожие
>
26.
>
(
)
Siberian Advances in
Mathematics [Электронный ресурс]. - Berlin : springer. - Выходит ежеквартально. - ISSN 1055-1344
Аннотация:
Научный журнал. Статьи по фундаментальной и прикладной математике: алгебра и
логика
, комплексный анализ, функциональный анализ, дифференциальные уравнения, математическая физика, геометрия и топология, теории вероятностей и математической статистики, математической кибернетики, математической экономики, математические проблемы геофизики и томографии, численные методы , и теории оптимизации.
journal link (full text - НТО-3)
Найти похожие
краткий формат
полный формат
все найденные
отмеченные
кроме отмеченных
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)