Условия выразимости и полноты пропозициональных исчислений
диссертация ... кандидата физико-математических наук : 01.01.09
диссертация ... кандидата физико-математических наук : 01.01.09
Москва, 2013
Условия выразимости и полноты пропозициональных исчислений
диссертация ... кандидата физико-математических наук : 01.01.09
Москва, 2013
В полном объеме текст документа доступен в электронных читальных залах библиотек-участников НЭБ
Библиографическое описание
Скопировать
Боков, Григорий Владимирович. Условия выразимости и полноты пропозициональных исчислений : диссертация ... кандидата физико-математических наук : 01.01.09 / Боков Григорий Владимирович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.]. — Москва, 2013. — 91 с..
Детальная информация
Код документа в НЭБ
000199_000009_006744862
Каталог
Автор(ы)
Заглавие
Условия выразимости и полноты пропозициональных исчислений : диссертация . кандидата физико-математических наук : 01.01.09
Место издания
Москва
Год издания
2013
Объем
91 с.
Ответственность
Боков Григорий Владимирович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.]
ББК
В123,03
Язык
Русский
Еще
Ключевые слова
пропозициональныех исчисления
Библиотека
LDR
02116nam a2200337 i 4500
001
006744862
003
RuMoRGB
005
20140225142815.0
008
131112s2013 ru |||| a |00 u rus d
017
##
$a: д3352-14
$b: RuMoRGB
$a: д3352-14
$b: RuMoRGB
017
##
$a: 04201451668
$b: RuMoVNTIC
$a: 04201451668
$b: RuMoVNTIC
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
$a: RuMoRGB
$b: rus
$c: RuMoRGB
041
##
$a: rus
$a: rus
072
#1
$a: 01.01.09
$2: nsnr
$a: 01.01.09
$2: nsnr
084
##
$a: В123,03
$2: rubbk
$a: В123,03
$2: rubbk
100
1#
$a: Боков, Григорий Владимирович
$a: Боков, Григорий Владимирович
245
##
$a: Условия выразимости и полноты пропозициональных исчислений :
$b: диссертация ... кандидата физико-математических наук : 01.01.09
$c: Боков Григорий Владимирович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.]
$a: Условия выразимости и полноты пропозициональных исчислений :
$b: диссертация ... кандидата физико-математических наук : 01.01.09
$c: Боков Григорий Владимирович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.]
260
##
$a: Москва
$c: 2013
$a: Москва
$c: 2013
300
##
$a: 91 с.
$a: 91 с.
504
##
$a: Библиогр.: с. 86-91
$a: Библиогр.: с. 86-91
650
#1
$a: Дискретная математика и математическая кибернетика
$2: nsnr
$a: Дискретная математика и математическая кибернетика
$2: nsnr
650
#1
$a: Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов
$2: rubbk
$a: Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов
$2: rubbk
653
##
$a: пропозициональныех исчисления
$a: пропозициональныех исчисления
720
1#
$a: Московский государственный университет им. М.В. Ломоносова (МГУ). Механико-математический факультет
$a: Московский государственный университет им. М.В. Ломоносова (МГУ). Механико-математический факультет
787
11
$w: 005536780
$i: Автореферат
$w: 005536780
$i: Автореферат
852
1#
$a: РГБ
$b: OD
$c: HL01
$j: 61 14-1/219
$x: 39
$a: РГБ
$b: OD
$c: HL01
$j: 61 14-1/219
$x: 39
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01006000000/rsl01006744000/rsl01006744862/rsl01006744862.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01006000000/rsl01006744000/rsl01006744862/rsl01006744862.pdf
$y: Читать
LKR
##
$a: PAR
$l: RSL01
$b: 005536780
$m: Диссертация
$n: Автореферат
$a: PAR
$l: RSL01
$b: 005536780
$m: Диссертация
$n: Автореферат
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « Условия выразимости и полноты пропозициональных исчислений : диссертация . кандидата физико-математических наук : 01.01.09 » , автор — Боков Г.В.. Документ был опубликован в 2013 году. Место издания — Москва. Электронный ресурс – электронная копия документа предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5. На сайте rusneb.ru Вы можете читать онлайн оцифрованную версию документа « Условия выразимости и полноты пропозициональных исчислений : диссертация . кандидата физико-математических наук : 01.01.09 » в удобной системе просмотра документов.