array(30) {
[0]=>
object(stdClass)#12 (12) {
["id"]=>
string(5) "52832"
["label"]=>
string(32) "Временные логики."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "4"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(3) "100"
["abs_unique"]=>
string(3) "100"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390474050"
["ban"]=>
string(1) "0"
}
[1]=>
object(stdClass)#11 (12) {
["id"]=>
string(5) "52831"
["label"]=>
string(83) "Индуктивные логики. Вероятностная семантика."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "0"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(1) "4"
["abs_unique"]=>
string(1) "3"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390474190"
["ban"]=>
string(1) "3"
}
[2]=>
object(stdClass)#10 (12) {
["id"]=>
string(5) "52814"
["label"]=>
string(87) "Исчисление высказываний (ИВ). Доказуемость в ИВ."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "2"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "35"
["abs_unique"]=>
string(2) "16"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390474308"
["ban"]=>
string(1) "3"
}
[3]=>
object(stdClass)#9 (12) {
["id"]=>
string(5) "52820"
["label"]=>
string(67) "Исчисление предикатов (ИП). Кванторы."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "0"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "18"
["abs_unique"]=>
string(2) "17"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390474593"
["ban"]=>
string(1) "3"
}
[4]=>
object(stdClass)#8 (12) {
["id"]=>
string(5) "52833"
["label"]=>
string(73) "Логика Пнуели и алгоритмические логики."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "0"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "46"
["abs_unique"]=>
string(2) "16"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390455443"
["ban"]=>
string(1) "3"
}
[5]=>
object(stdClass)#7 (12) {
["id"]=>
string(5) "52825"
["label"]=>
string(77) "Логическое программирование. Язык ПРОЛОГ."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "0"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "24"
["abs_unique"]=>
string(2) "11"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390456139"
["ban"]=>
string(1) "3"
}
[6]=>
object(stdClass)#14 (12) {
["id"]=>
string(5) "52839"
["label"]=>
string(57) "Машины Тьюринга. Теорема Клини."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "0"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "35"
["abs_unique"]=>
string(1) "3"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390456403"
["ban"]=>
string(1) "3"
}
[7]=>
object(stdClass)#15 (12) {
["id"]=>
string(5) "52819"
["label"]=>
string(83) "Метод резолюций для ИВ. Хорновские дизъюнкты."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "1"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "44"
["abs_unique"]=>
string(2) "37"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390474831"
["ban"]=>
string(1) "3"
}
[8]=>
object(stdClass)#16 (12) {
["id"]=>
string(5) "52829"
["label"]=>
string(79) "Модальная логика. Деонтические исчисления."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "1"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "52"
["abs_unique"]=>
string(2) "19"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390457219"
["ban"]=>
string(1) "0"
}
[9]=>
object(stdClass)#17 (12) {
["id"]=>
string(5) "52827"
["label"]=>
string(61) "Модальная логика. Исчисления I и T."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "1"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "45"
["abs_unique"]=>
string(2) "36"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390457638"
["ban"]=>
string(1) "3"
}
[10]=>
object(stdClass)#18 (12) {
["id"]=>
string(5) "52828"
["label"]=>
string(63) "Модальная логика. Исчисления S4 и S5."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "0"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "48"
["abs_unique"]=>
string(2) "32"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390458287"
["ban"]=>
string(1) "3"
}
[11]=>
object(stdClass)#19 (12) {
["id"]=>
string(5) "52834"
["label"]=>
string(69) "Нечеткие множества и нечеткая логика."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "0"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(1) "7"
["abs_unique"]=>
string(1) "6"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390474973"
["ban"]=>
string(1) "3"
}
[12]=>
object(stdClass)#20 (12) {
["id"]=>
string(5) "52821"
["label"]=>
string(120) "Основные эквивалентности формул ИП. Пренексная нормальная форма."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "0"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "16"
["abs_unique"]=>
string(2) "13"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390475101"
["ban"]=>
string(1) "3"
}
[13]=>
object(stdClass)#21 (12) {
["id"]=>
string(5) "52826"
["label"]=>
string(137) "Особенности перевода с естественного языка на язык математической логики."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "3"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "93"
["abs_unique"]=>
string(2) "92"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390460422"
["ban"]=>
string(1) "0"
}
[14]=>
object(stdClass)#22 (12) {
["id"]=>
string(5) "52835"
["label"]=>
string(57) "Понятие алгоритма. Тезис Черча."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "3"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
string(4) "1065"
["content_unique"]=>
string(2) "95"
["abs_unique"]=>
string(2) "94"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390460805"
["ban"]=>
string(1) "0"
}
[15]=>
object(stdClass)#23 (12) {
["id"]=>
string(5) "52840"
["label"]=>
string(46) "Понятие универсальности."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "2"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
NULL
["abs_unique"]=>
NULL
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390475394"
["ban"]=>
string(1) "1"
}
[16]=>
object(stdClass)#24 (12) {
["id"]=>
string(5) "52813"
["label"]=>
string(141) "Понятие формальной теории. Синтаксический вывод и семантическая истинность."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "4"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "72"
["abs_unique"]=>
string(2) "43"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390461441"
["ban"]=>
string(1) "0"
}
[17]=>
object(stdClass)#25 (12) {
["id"]=>
string(5) "52841"
["label"]=>
string(110) "Пример рекурсивно перечислимого не рекурсивного множества."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "1"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
NULL
["abs_unique"]=>
NULL
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390475534"
["ban"]=>
string(1) "1"
}
[18]=>
object(stdClass)#26 (12) {
["id"]=>
string(5) "52836"
["label"]=>
string(94) "Примитивно рекурсивные функции. Теорема Робинсона."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "1"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
NULL
["abs_unique"]=>
NULL
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390462216"
["ban"]=>
string(1) "1"
}
[19]=>
object(stdClass)#27 (12) {
["id"]=>
string(5) "52838"
["label"]=>
string(91) "Рекурсивные и рекурсивно перечислимые множества."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "1"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
NULL
["abs_unique"]=>
NULL
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390475864"
["ban"]=>
string(1) "1"
}
[20]=>
object(stdClass)#28 (12) {
["id"]=>
string(5) "52816"
["label"]=>
string(85) "Семантика ИВ. Теорема о непротиворечивости ИВ."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "1"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
NULL
["abs_unique"]=>
NULL
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390475962"
["ban"]=>
string(1) "1"
}
[21]=>
object(stdClass)#29 (12) {
["id"]=>
string(5) "52830"
["label"]=>
string(64) "Семантика Крипке модальной логики."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "0"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "45"
["abs_unique"]=>
string(2) "44"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390463010"
["ban"]=>
string(1) "3"
}
[22]=>
object(stdClass)#30 (12) {
["id"]=>
string(5) "52824"
["label"]=>
string(81) "Сколемизация формул. Метод резолюций для ИП."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "1"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
NULL
["abs_unique"]=>
NULL
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390476070"
["ban"]=>
string(1) "1"
}
[23]=>
object(stdClass)#31 (12) {
["id"]=>
string(5) "52817"
["label"]=>
string(84) "Таблицы истинности. Релейно-контактные схемы."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "1"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "42"
["abs_unique"]=>
string(2) "36"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390464102"
["ban"]=>
string(1) "3"
}
[24]=>
object(stdClass)#32 (12) {
["id"]=>
string(5) "52842"
["label"]=>
string(70) "Теорема Геделя о неполноте арифметики"
["private"]=>
string(1) "2"
["hits"]=>
string(1) "0"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "34"
["abs_unique"]=>
string(2) "33"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390464320"
["ban"]=>
string(1) "3"
}
[25]=>
object(stdClass)#33 (12) {
["id"]=>
string(5) "52822"
["label"]=>
string(119) "Теорема о существовании модели. Полнота и непротиворечивость ИП."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "0"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
NULL
["abs_unique"]=>
NULL
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390476171"
["ban"]=>
string(1) "1"
}
[26]=>
object(stdClass)#34 (12) {
["id"]=>
string(5) "52823"
["label"]=>
string(39) "Унификация формул ИП."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "0"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "11"
["abs_unique"]=>
string(2) "10"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390476263"
["ban"]=>
string(1) "3"
}
[27]=>
object(stdClass)#35 (12) {
["id"]=>
string(5) "52818"
["label"]=>
string(107) "Характеризация доказуемых формул ИВ. Теорема о полноте ИВ."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "1"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
NULL
["abs_unique"]=>
NULL
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390476344"
["ban"]=>
string(1) "1"
}
[28]=>
object(stdClass)#36 (12) {
["id"]=>
string(5) "52837"
["label"]=>
string(116) "Частично рекурсивные и рекурсивные функции. Функция Аккермана."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "0"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
string(2) "40"
["abs_unique"]=>
string(2) "10"
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390473561"
["ban"]=>
string(1) "3"
}
[29]=>
object(stdClass)#37 (12) {
["id"]=>
string(5) "52815"
["label"]=>
string(62) "Эквивалентность формул. КНФ и ДНФ."
["private"]=>
string(1) "2"
["hits"]=>
string(1) "1"
["like"]=>
string(1) "0"
["extra_title"]=>
NULL
["site_id"]=>
NULL
["content_unique"]=>
NULL
["abs_unique"]=>
NULL
["category_id"]=>
string(1) "0"
["metka"]=>
string(10) "1390473796"
["ban"]=>
string(1) "1"
}
}
|
1 |
скрыто настройками приватности |
|
2 |
скрыто настройками приватности |
|
3 |
скрыто настройками приватности |
|
4 |
скрыто настройками приватности |
|
5 |
скрыто настройками приватности |
|
6 |
скрыто настройками приватности |
|
7 |
скрыто настройками приватности |
|
8 |
скрыто настройками приватности |
|
9 |
скрыто настройками приватности |
|
10 |
скрыто настройками приватности |
|
11 |
скрыто настройками приватности |
|
12 |
скрыто настройками приватности |
|
13 |
скрыто настройками приватности |
|
14 |
скрыто настройками приватности |
|
15 |
скрыто настройками приватности |
|
16 |
скрыто настройками приватности |
|
17 |
скрыто настройками приватности |
|
18 |
скрыто настройками приватности |
|
19 |
скрыто настройками приватности |
|
20 |
скрыто настройками приватности |
|
21 |
скрыто настройками приватности |
|
22 |
скрыто настройками приватности |
|
23 |
скрыто настройками приватности |
|
24 |
скрыто настройками приватности |
|
25 |
скрыто настройками приватности |
|
26 |
скрыто настройками приватности |
|
27 |
скрыто настройками приватности |
|
28 |
скрыто настройками приватности |
|
29 |
скрыто настройками приватности |
|
30 |
скрыто настройками приватности |
