Главная Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Диссертации - результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:КНИГИ (69)СТАТЬИ (72)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=исчисления<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
51
М92


    Мухамедзянова, Н. И.
    Алгебра предикатов как проподевтическая основа исчисления предикатов [Текст] : дис. ... магистра математики 6N0601 - Математика / Мухамедзянова, Н. И. - Павлодар : [б. и.], 2010. - 93 с. - Б. ц.
Библиогр.: с. 92-93.
УДК
Рубрики: Математика--высшая математика
Кл.слова (ненормированные):
математика -- высшая математика -- алебра предикатов -- исчисления -- аксиомы -- формулы -- диссертация магистерская -- 6N0601

Экземпляры всего: 1
ППС-1 (1)
Свободны: ППС-1 (1)
Найти похожие
2.
   004
   Ж23


    Жаксыбаев, Д. О.
    Выразительные возможности формальных языков логических исчислений : дис. ... магистра педагогических наук по спец. 6М011100 - Информатика : защищена 03.05.2016 / Д. О. Жаксыбаев. - Павлодар, 2016. - 74 с. + автореферат. - Библиогр.: с. 61-62. -
УДК
Рубрики: Информационные технологии--Языки программирования
Кл.слова (ненормированные):
алгебра предикатов -- языки программирования -- логические исчисления

Экземпляры всего: 1
ППС (1)
Свободны: ППС (1)
Найти похожие
 
© Павлодарский государственный университет им. С.Торайгырова, 2009-2015