'Matrioshka's' soft approaches to personalized web exploration
(Pure) logic out of probability.
Today, Logic and Probability are mostly seen as independent fields with a separate history and set of foundations. Against this dominating perception, only a very few people (Laplace, Boole, Peirce) have suspected there was some affinity or relation between them. The truth is they have a considerable common ground which underlies the historical foundation of both disciplines and, in this century, has prompted notable thinkers as Reichenbach [14], Carnap [2] [3] or Popper [12] [13] (and Gaifman [5],...
Алгебраическое исследование простейших кодов и бсекоэффициентных уравнений в словах
Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969)
К моделированию синтеза простых предложений на естественном языке
Матричные вычисления в задачах распознавания образов
Машинный алгорифм установления выводимости на основе обратного метода
Меры сложности слов на основе предиката вхождения и редактирующего расстояния
Метод синтеза условий выводимости хорновских и некоторых других формул.
Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка
Некоторые вопросы графической регулярности
Некоторые вопросы разработки фактографических систем, ориентированных на работу с математическими текстами
О метаматематическом подходе к доказательству теорем дискретной математики
О поиске вывода в исчислениях общего типа
О распознавании тавтологичности пропозициональных формул
О свойствах одной характеристики сложности языков
О сложности линейных выводов в методе резолюций
Об одном возможном подходе к вопросу автоматического синтаксического анализа предложных и беспредложных именных конструкций чешского языка
Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций
Одна схема доказательств в дискретной математике