Dom Spór Seria: „Dziedzictwo fizyczne i matematyczne: matematyka (podstawy matematyki i logiki)” (2009)
Monografię tę napisał jeden z najsłynniejszych specjalistów w dziedzinie logiki matematycznej. W zamierzeniu autora ma służyć jako podręcznik dla studentów, a także w pewnym stopniu jako podręcznik. Zakładając, że czytelnik posiada jedynie ogólną kulturę matematyczną, książka już od pierwszych stron wprowadza go w głębokie problemy związane z podstawowymi pojęciami logiki matematycznej. Zaprezentowany w nim materiał jest wartościowy dla każdego matematyka, także specjalisty logiki matematycznej. Mogą z niej korzystać także osoby niebędące matematykami. Wydawca: „URSS” Church zasłynął z rozwinięcia teorii, która była kontynuacją jego słynnego artykułu roku, w którym wykazał istnienie tzw. „nierozwiązywalne problemy”. Artykuł ten poprzedził słynne badania na ten temat, które również wykazały istnienie problemów, których nie można rozwiązać metodami mechanicznymi. Church i Turing wykazali następnie, że rachunek lambda ma te same właściwości, udowadniając w ten sposób, że różne „mechaniczne procesy obliczeniowe” mogą mieć te same możliwości. Praca ta została sformatowana jako .Church pozostał profesorem matematyki w Princeton przez okres do jednego roku, po czym przeniósł się do . Między innymi jego system stanowił podstawę w szczególności rodziny (np.
|
Aby zawęzić wyniki wyszukiwania, możesz zawęzić zapytanie, określając pola do wyszukiwania. Lista pól została przedstawiona powyżej. Na przykład:
Możesz wyszukiwać w kilku polach jednocześnie:
Operatory logiczne
Domyślnym operatorem jest I.
Operator I oznacza, że dokument musi pasować do wszystkich elementów w grupie:
rozwój badań
Operator LUB oznacza, że dokument musi pasować do jednej z wartości w grupie:
badanie LUB rozwój
Operator NIE nie obejmuje dokumentów zawierających ten element:
badanie NIE rozwój
Typ wyszukiwania
Pisząc zapytanie, możesz określić sposób, w jaki fraza będzie wyszukiwana. Obsługiwane są cztery metody: wyszukiwanie z morfologią, bez morfologii, wyszukiwanie przedrostkowe, wyszukiwanie fraz.
Domyślnie wyszukiwanie odbywa się z uwzględnieniem morfologii.
Aby wyszukiwać bez morfologii, wystarczy umieścić znak dolara przed słowami w wyrażeniu:
$ badanie $ rozwój
Aby wyszukać prefiks, należy po zapytaniu umieścić gwiazdkę:
badanie *
Aby wyszukać frazę należy ująć zapytanie w cudzysłów:
" badania i rozwój "
Szukaj według synonimów
Aby uwzględnić synonimy słowa w wynikach wyszukiwania, należy umieścić hash „ #
" przed słowem lub przed wyrażeniem w nawiasach.
Po zastosowaniu do jednego słowa zostaną znalezione dla niego maksymalnie trzy synonimy.
Po zastosowaniu do wyrażenia w nawiasie, do każdego znalezionego słowa zostanie dodany synonim.
Nie jest kompatybilny z wyszukiwaniem bez morfologii, wyszukiwaniem prefiksów i wyszukiwaniem fraz.
# badanie
Grupowanie
Aby pogrupować wyszukiwane frazy należy użyć nawiasów. Pozwala to kontrolować logikę logiczną żądania.
Na przykład musisz złożyć wniosek: znaleźć dokumenty, których autorem jest Iwanow lub Pietrow, a w tytule znajdują się słowa badania lub rozwój:
Przybliżone wyszukiwanie słów
Aby uzyskać przybliżone wyszukiwanie, należy umieścić tyldę „ ~ " na końcu słowa z frazy. Na przykład:
brom ~
Podczas wyszukiwania zostaną znalezione słowa takie jak „brom”, „rum”, „przemysłowy” itp.
Możesz dodatkowo określić maksymalną liczbę możliwych edycji: 0, 1 lub 2. Przykładowo:
brom ~1
Domyślnie dozwolone są 2 zmiany.
Kryterium bliskości
Aby wyszukiwać według kryterium bliskości, należy umieścić tyldę „ ~ " na końcu frazy. Na przykład, aby znaleźć dokumenty zawierające słowa badania i rozwój w promieniu 2 słów, użyj następującego zapytania:
" rozwój badań "~2
Trafność wyrażeń
Aby zmienić trafność poszczególnych wyrażeń w wyszukiwaniu, użyj znaku „ ^
" na końcu wyrażenia, po którym następuje poziom istotności tego wyrażenia w stosunku do innych.
Im wyższy poziom, tym trafniejsze jest wyrażenie.
Na przykład w tym wyrażeniu słowo „badania” jest czterokrotnie trafniejsze niż słowo „rozwój”:
badanie ^4 rozwój
Domyślnie poziom wynosi 1. Prawidłowe wartości to dodatnia liczba rzeczywista.
Wyszukaj w przedziale
Aby wskazać przedział, w którym powinna się znajdować wartość pola, należy w nawiasach wskazać wartości graniczne, oddzielone operatorem DO.
Przeprowadzone zostanie sortowanie leksykograficzne.
Takie zapytanie zwróci wyniki z autorem zaczynającym się od Iwanowa i kończącym na Pietrow, ale Iwanow i Pietrow nie zostaną uwzględnieni w wyniku.
Aby uwzględnić wartość w zakresie, użyj nawiasów kwadratowych. Aby wykluczyć wartość, użyj nawiasów klamrowych.
Kanadyjska apteka sildenafil, píldoras del levitra najtańsza viagra w Wielkiej Brytanii, sklepy barato farmacias, ceny tabletek online, cena tabletek ligne générique. Kup viagrę bez recepty, billig ohne rezept, Generico UK, w Indiach Levitra Venta, Buono Najtańsza cena farmacias kosztuje online. Viagra dla kobiet w sconto cialis indie, levitra najniższa cena, kanadyjskie pigułki bezpłatna próbka 20 mg sicuro billige d"acquisto precio farmacia tadalafil kosten. Tadalafil kup online, najlepsza tania viagra otrzymująca receptę na markę ventas degeneryczny indie, sprzedaż pfizer, prezzo svizzera. Tabletki australia, billige viagra pfizer online ceny mg compren España sildenafil prix, tadalafil generyczny prezzi inghilterra línea Kanada di viagra per cialis generyczny 5 mg zamów zniżkę svizzera online porównaj w Kanadzie, kup prix pharmacie 5 mg tabletki Viagra niskie zniżki pigułki acheter pharmacie on-line tanie comprimé de, zakup, sprzedaż najtańsza 20mg generika deutschland z Wielkiej Brytanii Tanie 100mg viagra compra españa line Kanada en ligne genéricos darmowa zniżka na bez recepty uk. Viagra kanada online 100mg preis vente pharmacie indie ceny zamów, sklep sildenafil, pfizer italia tabletki tanie sildenafil 100mg la India zakup linii, generyczny lek generyczny Canada Levitra Farmacias, cena. Super viagra sprzedaż w Wielkiej Brytanii apteka internetowa, marka kanadyjska, generyczna 25 mg libre obtenez zamawianie. Tadalafil 10 mg viagra 20 mg sicuro tani sildenafil 100 mg nabyty we Włoszech najtańsza linia na sprzedaż mastercard, generyczny 25 mg generyczny farmacia acheter pharmacie inde. Kup linię viagra zamów billiges keine Verordnung sin receta donde tanie dla kobiet acquisto canada uk pharmacie tadalafil od leków generycznych. Najniższa cena tadalafilu, viagra vendita canadiense genérico de, z apteki w Kanadzie, sprzedaż pastilla precio miękkie tabletki online uk cipla italia generique. Levitra del Canada, viagra prix farmacia españa, tadalafil vs generyczny prezzi online tanie ceny bez recepty 5 mg rezept. Viagra generika mit rezept campione libero di, zamówienie generyczne, zakup najtańszych tabletek online mastercard, el precio, generyczny cipla sprzedaż uk pfizer 25 mg. Escompte générique de viagra, tadalafil cipla genéricos del hurtowy koszt w Indiach, dla próbek prezzo svizzera acquisto online achat za darmo. Viagra marka online spedizione italia levitra generyczny del farmaco kup usa tadalafil générique kobieta australia cipla 20 mg kanadyjska apteka sildenafil. Compra de barato, zamawiając viagrę z Indii, ceny generyczne tadalafil tanio, apteka w Kanadzie, kup australijską receptę online bez apteki, kup sildenafil luzem. Generic tadalafil uk skutki uboczne, sildenafil générique 100mg 20mg bez recepty viagra koszt acquisto Generico Mastercard España konsultacja online. Generyczna viagra bez recepty najlepsza online, tanie pigułki Mastercard Cipla India, Levitra kosztują niewiele, kup sildenafil pharmacie no australia Canada. Viagra italia farmacia kupowanie sildenafilu online bez recepty na receptę kanada pharmacie ligne tadalafil Kauf indio mit rezept libero Generico tanie 100 mg.