• English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
Aurreratua
  • Сложностные проблемы математич...
  • Erreferentzia bihurtu
  • SMS
  • Bidali
  • Imprimir
  • Erregistroa esportatu
    • Nora RefWorks
    • Nora EndNoteWeb
    • Nora EndNote
  • Permanent link
Сложностные проблемы математической логики: сборник научных трудов

Сложностные проблемы математической логики: сборник научных трудов

Xehetasun bibliografikoak
Erakunde egilea: Калининский государственный университет
Hizkuntza:errusiera
Argitaratua: Калинин, [Б. и.], 1985
Gaiak:
Математическая логика
проблемы
нумерация
свойства
представление Клини
машины Тьюринга
ленточная сложность
неподвижные точки
конечные многоленточные автоматы
функциональные зависимости
неявные зависимости
исчисление
сигнатуры
Formatua: MixedMaterials Liburua
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=287779
  • Aleari buruzko argibideak
  • Deskribapena
  • Antzeko izenburuak
  • MARC erregistroa

Antzeko izenburuak

  • Элементы математической логики
    nork: Марков А. А. Андрей Андреевич
    Argitaratua: (Москва, Изд-во МГУ, 1984)
  • Применение ЭВМ для решения задач математической логики: учебное пособие
    nork: Мелихов А. Н. Аскольд Николаевич
    Argitaratua: (Таганрог, Изд-воТРТИ, 1988)
  • Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал)
    Argitaratua: (Новосибирск, Изд-во ИМ СО РАН, 1986)
  • Математическая логика и теория алгоритмов: учебное пособие
    nork: Крупский В. Н. Владимир Николаевич
    Argitaratua: (Москва, Академия, 2013)
  • Применение методов математической логики. Секция : Представление знаний и синтез программ: тезисы докладов IV Всесоюзной конференции
    Argitaratua: (Таллин, Изд-во ин-та кибернетики, 1986)