Черч а введение в математическую логику. Книга: Чёрч А. «Введение в математическую логику. Другие книги схожей тематики
Canadian pharmacy sildenafil, píldoras del levitra cheapest viagra in uk, barato farmacias stores for, cost of pills online price preise, tablets ligne générique. Buy viagra no prescription, billig ohne rezept, generico uk, in india levitra venta, buono cheapest price farmacias cost online. Female viagra in sconto cialis india, levitra cheapest price, canadian pills sample free 20mg sicuro billige d"acquisto precio farmacia tadalafil kosten. Tadalafil purchase online, best cheap viagra getting prescription for brand ventas de generic india, pfizer sales, prezzo svizzera. Tablets australia, billige viagra pfizer online prices mg compren España sildenafil prix, tadalafil generico prezzi inghilterra línea. Prescrizione Canada di viagra per cialis generico 5mg order discount svizzera online comprare versand en Canadá, getting prix pharmacie 5mg tablets. Viagra low price discount pills acheter pharmacie on line cheap comprimé de, purchasing, sale cheapest 20mg generika deutschland from uk. Cheap 100mg viagra compra españa brand australia line Canada en ligne genéricos free discount on without prescription uk. Viagra canada online 100mg preis vente pharmacie india prices order, shop sildenafil, pfizer italia tabs. Female uk viagra sales cheap sildenafil 100mg la India on line purchase, overnight generic Canadá levitra farmacias, price. Super viagra sale uk pharmacy online, brand canadian Canada generic 25mg libre obtenez ordering. Tadalafil 10mg viagra 20mg sicuro cheap sildenafil 100mg acquisti in italia cheapest line for sale mastercard, generic 25mg generico farmacia acheter pharmacie inde. Buy line viagra order billiges keine Verordnung sin receta donde cheap for women acquisto canada uk pharmacie tadalafil from generic. Lowest priced tadalafil, viagra vendita canadiense genérico de, from canada pharmacy for sale pastilla precio soft tabs online uk cipla italia generique. Levitra del Canada, viagra prix farmacia españa, tadalafil vs generic prezzi online cheap prices without prescription 5mg rezept. Viagra generika mit rezept campione libero di, generic order, mastercard online cheapest tabs purchase, el precio, generico cipla sales uk pfizer 25mg. Escompte générique de viagra, tadalafil cipla genéricos del wholesale india cost, for prezzo svizzera acquisto online achat samples free. Viagra brand online spedizione italia levitra generici del farmaco buy usa tadalafil générique female australia cipla 20mg canadian pharmacy sildenafil. Compra de barato, ordering viagra from india generic prices tadalafil cheap, pharmacie canada, buy australia online prescription without pharmacy, purchase sildenafil bulk. Generic tadalafil uk side effects, sildenafil générique 100mg 20mg no prescription viagra cost acquisto generico mastercard españa online consultation. Generic viagra without prescriptions best online, cheap mastercard pills cipla india, levitra cost low buy sildenafil pharmacie no australia Kanada. Viagra italia farmacia buying sildenafil online no rx prescription canada pharmacie ligne tadalafil Kauf indio mit rezept libero generico cheap 100mg.
Чтобы сузить результаты поисковой выдачи, можно уточнить запрос, указав поля, по которым производить поиск. Список полей представлен выше. Например:
Можно искать по нескольким полям одновременно:
Логически операторы
По умолчанию используется оператор AND
.
Оператор AND
означает, что документ должен соответствовать всем элементам в группе:
исследование разработка
Оператор OR означает, что документ должен соответствовать одному из значений в группе:
исследование OR разработка
Оператор NOT исключает документы, содержащие данный элемент:
исследование NOT разработка
Тип поиска
При написании запроса можно указывать способ, по которому фраза будет искаться. Поддерживается четыре метода: поиск с учетом морфологии, без морфологии, поиск префикса, поиск фразы.
По-умолчанию, поиск производится с учетом морфологии.
Для поиска без морфологии, перед словами в фразе достаточно поставить знак "доллар":
$ исследование $ развития
Для поиска префикса нужно поставить звездочку после запроса:
исследование*
Для поиска фразы нужно заключить запрос в двойные кавычки:
" исследование и разработка"
Поиск по синонимам
Для включения в результаты поиска синонимов слова нужно поставить решётку "#
" перед словом или перед выражением в скобках.
В применении к одному слову для него будет найдено до трёх синонимов.
В применении к выражению в скобках к каждому слову будет добавлен синоним, если он был найден.
Не сочетается с поиском без морфологии, поиском по префиксу или поиском по фразе.
# исследование
Группировка
Для того, чтобы сгруппировать поисковые фразы нужно использовать скобки. Это позволяет управлять булевой логикой запроса.
Например, нужно составить запрос: найти документы у которых автор Иванов или Петров, и заглавие содержит слова исследование или разработка:
Приблизительный поиск слова
Для приблизительного поиска нужно поставить тильду "~ " в конце слова из фразы. Например:
бром~
При поиске будут найдены такие слова, как "бром", "ром", "пром" и т.д.
Можно дополнительно указать максимальное количество возможных правок: 0, 1 или 2. Например:
бром~1
По умолчанию допускается 2 правки.
Критерий близости
Для поиска по критерию близости, нужно поставить тильду "~ " в конце фразы. Например, для того, чтобы найти документы со словами исследование и разработка в пределах 2 слов, используйте следующий запрос:
" исследование разработка"~2
Релевантность выражений
Для изменения релевантности отдельных выражений в поиске используйте знак "^
" в конце выражения, после чего укажите уровень релевантности этого выражения по отношению к остальным.
Чем выше уровень, тем более релевантно данное выражение.
Например, в данном выражении слово "исследование" в четыре раза релевантнее слова "разработка":
исследование^4 разработка
По умолчанию, уровень равен 1. Допустимые значения - положительное вещественное число.
Поиск в интервале
Для указания интервала, в котором должно находиться значение какого-то поля, следует указать в скобках граничные значения, разделенные оператором TO
.
Будет произведена лексикографическая сортировка.
Такой запрос вернёт результаты с автором, начиная от Иванова и заканчивая Петровым, но Иванов и Петров не будут включены в результат.
Для того, чтобы включить значение в интервал, используйте квадратные скобки. Для исключения значения используйте фигурные скобки.
Серия: "Физико-математическое наследие: математика (основания математики и логика)" Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, атакже в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики. Изложенный в ней материал представляет ценность для всякого математика, в том числе и для специалиста по математической логике. В качестве справочника ею могут пользоваться также и не математики. Издательство: "URSS" (2009)
Чёрч прославился разработкой теории , последовавшей за его знаменитой статьёй года, в которой он показал существование т. н. «неразрешимых задач». Эта статья предшествовала знаменитому исследованию на тему , в котором также было продемонстрировано существование задач, неразрешимых механическими способами. Впоследствии Чёрч и Тьюринг показали, что лямбда-исчисления и имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как . Чёрч оставался профессором математики в Принстоне до года, после чего он переехал в . Помимо прочего, его система легла в основу , в частности семейства (например, См. такжеДругие книги схожей тематики:
|