Приложение
для AndroidПолное описание
Журнал
Theoretical Computer ScienceПериодичность . - ISSN 0304-3975. - Текст : непосредственный.
ГРНТИ + 50.05
Аннотация: Научный журнал. Статьи по исследованию математических, логических и формальных концепций и методов вычислений и разработке методологии вычисления для применения в области компьютинга. Журнал состоит из двух секций. Секция "Алгоритмы, автоматы, сложность и игры" посвящена исследованию алгоритмов и их сложности аналитическими, комбинаторными и вероятностными методами, включая области абстрактных сложностей, автоматов и теории языка, графических применений и измерения производительности систем с использованием статистических методов. Ее подсекция "Математические игры" включает, в частности, применение игр в таких областях, как сложность, теории графов и матроидов, сети, теория кодирования и др. Секция "Логика, семантика и теория программирования" посвящена методам проверки свойств программ или реализации формальных языков, семантике языков последовательного и параллельного программирования, формальным методам подхода к решению различных задач (способы перезаписи, абстрактный тип данных, автоматизированное доказательство теорем, новые логические исчисления и др.). Авторский указатель в конце каждого тома. Кумулированный указатель содержания 10-ти томов в т.т. 10, 20 и т.д.
publisher's website
journal link