Заказать диссертацию из РГБ.

id: 2855

Автор : Рыбаков, Михаил Николаевич

Раздел: 01 - Физико-математические науки

Специальность: 01.01.06.Математическая логика, алгебра и теория чисел.

Сложность пропозициональных логик с конечным числом переменных: автореферат дис.... кандидата физико-математических наук: 01.01.06 / Ярослав. гос. ун-т им. П.Г. ДемидоваКоличество страниц: 15 с. 9 05-12/1739-0 9 05-12/1740-4.

Отправьте заявку на диссертацию из РГБ. Наш менеджер свяжется с Вами в течение дня.

Ф.И.О.:  

Город:

* Ваш e-mail:

* Контактный телефон:

Цена: 640 руб. (скидка 0%)

Похожие диссертации:

958Псевдодифференциальные операторы с бесконечным числом переменных и уравнение Хопфа, соответствующее нелинейному гиперболическому уравнению: диссертация... кандидата физико-математических наук: 01.01.02Количество страниц: 86 c. ил 61 85-1/615
Соболев, Сергей Игоревич
2554Применение моделей Крипке к исследованию суперинтуиционистских и модальных логик: диссертация... кандидата физико-математических наук: 01.01.06Количество страниц: 100 c. ил 61 85-1/2431
Шехтман, Валентин Борисович
2564Интуиционистские версии конечнозначных логик: диссертация... кандидата физико-математических наук: 01.01.06Количество страниц: 126 c. ил 61 85-1/2283
Аншаков, Олег Михайлович
2757Сложность вычислений в алгебраических системах: диссертация... кандидата физико-математических наук: 01.01.06Количество страниц: 95 с. 61 05-1/485
Рыбалов, Александр Николаевич
2787Сложность вычислений в алгебраических системах: автореферат дис.... кандидата физико-математических наук: 01.01.06 / Ом. гос. ун-тКоличество страниц: 20 с. 9 04-13/1961-1 9 04-13/1962-X
Рыбалов, Александр Николаевич
2852Сложность пропозициональных логик с конечным числом переменных: диссертация... кандидата физико-математических наук: 01.01.06Количество страниц: 95 с. 61 06-1/338
Рыбаков, Михаил Николаевич
2939Теории с конечным числом счетных моделей и полигонометрии групп: диссертация... доктора физико-математических наук: 01.01.06Количество страниц: 320 с. ил. 71 07-1/284
Судоплатов, Сергей Владимирович
2948О некоторых классах многомерных модальных логик: диссертация... кандидата физико-математических наук: 01.01.06Количество страниц: 115 с. 61 06-1/734
Кравцов, Алексей Геннадиевич
2962О некоторых классах многомерных модальных логик: автореферат дис.... кандидата физико-математических наук: 01.01.06 / Моск. гос. ун-т им. М.В. ЛомоносоваКоличество страниц: 11 с. 9 06-4/2048-9 9 06-4/2049-7
Кравцов, Алексей Геннадиевич
2997Теории с конечным числом счетных моделей и полигонометрии групп: автореферат дис.... доктора физико-математических наук: 01.01.06 / Ин-т математики им. С.Л. Соболева СО РАНКоличество страниц: 30 с. 9 07-2/230
Судоплатов, Сергей Владимирович
3035Сложность некоторых алгоритмических проблем для кососимметрических графов: диссертация... кандидата физико-математических наук: 01.01.06Количество страниц: 114 с. ил. 61 07-1/723
Бабенко, Максим Александрович
3072Сложность пропозициональных систем доказательств, оперирующих неравенствами: диссертация... кандидата физико-математических наук: 01.01.06Количество страниц: 96 с. 61 07-1/894
Кожевников, Арист Александрович
3645О синтезе автоматов по конечным фрагментам их поведения: диссертация... кандидата физико-математических наук: 01.01.09Количество страниц: 140 с. ил. 61 94-1/338-4
Ключников, А. В.
4175Исследование устойчивости и качественный анализ траекторий механических систем с конечным числом степеней свободы: автореферат дис.... кандидата физико-математических наук: 01.02.01 / Рос. ун-т дружбы народов (РУДН)Количество страниц: 17 с. 9 05-2/1767-2 9 05-2/1768-0
Рязанова, Мария Викторовна
4187Исследование устойчивости и качественный анализ траекторий механических систем с конечным числом степеней свободы: диссертация... кандидата физико-математических наук: 01.02.01Количество страниц: 113 с. ил. 61 05-1/666
Рязанова, Мария Викторовна
75692Сложность аппроксимации оптимизационных задач на наследственных системах: диссертация... кандидата физико-математических наук: 05.13.01Количество страниц: 105 с. ил. 61 06-1/951
Талевнин, Антон Степанович