Поиск материала «Теория дедуктивных систем и ее применения, Маслов Ю.С., 1986» для чтения, скачивания и покупки

Найденные материалы, документы, бумажные и электронные книги и файлы:

Ниже показаны результаты поиска известных поисковых систем. В результатах могут быть показаны как эта книга, так и похожие на нее по названию или автору.

Search results:

1. Теория дедуктивных систем и ее применения

   Аннотация. Книга посвящена молодой, активно развивающейся области математической логики и кибернетики - теории исчислений. Излагается математический аппарат ...

   www.libex.ru
2. Математическая кибернетика - Науково-технічна ...

   Теория дедуктивных систем и ее применения / С. Ю. Маслов. – М. : Радио и связь, 1986. – 136 с. Математические вопросы кибернетики : сб. ст. / под ...

   library.khai.edu
3. Дедуктивная логика в решении проблемы ...

   Автор: ВА Иноземцев · 2014 · Цитируется: 10 — В том случае, если формулы на самом деле общезначимы ... Маслова [Маслов, 1964; Маслов 1986] и процедура Д. ... Теория дедуктивных систем и её применения. М ...

   cyberleninka.ru
4. РОССИЙСКАЯ АКАДЕМИЯ НАУК

   [12] Маслов С.Ю. Теория дедуктивных систем и ее применения. ... Теория α-рекурсии // Справочная книга по математической логике: В ... Селдином, можно скачать по ...

   logicalinvestigations.ru
5. Автоматический логический вывод в интуиционистских ...

   книгу [50]). Однако к интуиционистской логике ... Маслов совершенствовал свой метод и рассматривал его ... Теория дедуктивных систем и ее применения ...

   disser.spbu.ru
6. Совершенствование дедуктивной подготовки студентов ...

   Маслов С.Ю. Теория дедуктивных систем и ее применения. ... Справочная книга по математической логике: В 4-х частях / под ред. ... В PDF файлах диссертаций и ...

   www.dissercat.com
7. OCR форум - Серия "Кибернетика"(Советское радио ...

   Маслов, Сергей Юрьевич - Теория дедуктивных систем и ее применения. ... одна книга тут уже есть: Манин Ю.И ... Скачать: http://booksshare.net/books/cybern ...

   publ.lib.ru