Domov Súdne spory Séria: "Fyzické a matematické dedičstvo: matematika (základy matematiky a logiky)" (2009)
Túto monografiu napísal jeden z najznámejších špecialistov v oblasti matematickej logiky. Autorom je zamýšľaná ako učebnica pre študentov a do určitej miery aj ako príručka. Za predpokladu, že čitateľ má len všeobecnú matematickú kultúru, kniha ho od prvých strán zavedie do hlbokých problémov spojených so základnými pojmami matematickej logiky. Materiál v ňom uvedený je cenný pre každého matematika, vrátane špecialistu na matematickú logiku. Nematematici ju môžu použiť aj ako referenčnú knihu. Vydavateľ: "URSS" Church sa preslávil vypracovaním teórie, ktorá nadväzovala na jeho slávny článok z roku, v ktorom ukázal existenciu tzv. „neriešiteľné problémy“. Tento článok predchádzal slávnej štúdii na túto tému, ktorá tiež preukázala existenciu problémov, ktoré sa nedajú vyriešiť mechanickými prostriedkami. Church a Turing následne ukázali, že lambda kalkul má rovnaké vlastnosti, čím dokázali, že rôzne „mechanické procesy výpočtov“ môžu mať rovnaké schopnosti. Táto práca bola naformátovaná ako .Church zostal profesorom matematiky na Princetone až rok, potom sa presťahoval do . Jeho systém okrem iného tvoril základ najmä rodiny (napr.
|
Ak chcete zúžiť výsledky vyhľadávania, môžete svoj dotaz spresniť zadaním polí, ktoré chcete vyhľadať. Zoznam polí je uvedený vyššie. Napríklad:
Môžete vyhľadávať v niekoľkých poliach súčasne:
Logické operátory
Predvolený operátor je A.
Operátor A znamená, že dokument sa musí zhodovať so všetkými prvkami v skupine:
rozvoj výskumu
Operátor ALEBO znamená, že dokument sa musí zhodovať s jednou z hodnôt v skupine:
štúdium ALEBO rozvoj
Operátor NIE nezahŕňa dokumenty obsahujúce tento prvok:
štúdium NIE rozvoj
Typ vyhľadávania
Pri písaní dotazu môžete určiť metódu, ktorou sa bude fráza hľadať. Podporované sú štyri metódy: vyhľadávanie s morfológiou, bez morfológie, vyhľadávanie prefixov, vyhľadávanie fráz.
Štandardne sa vyhľadávanie vykonáva s prihliadnutím na morfológiu.
Ak chcete hľadať bez morfológie, stačí pred slová vo fráze umiestniť znak „dolára“:
$ štúdium $ rozvoj
Ak chcete vyhľadať predponu, musíte za dopyt vložiť hviezdičku:
štúdium *
Ak chcete vyhľadať frázu, musíte dopyt uzavrieť do dvojitých úvodzoviek:
" výskumu a vývoja "
Hľadajte podľa synoným
Ak chcete do výsledkov vyhľadávania zahrnúť synonymá slova, musíte zadať hash " #
“ pred slovom alebo pred výrazom v zátvorkách.
Pri aplikácii na jedno slovo sa preň nájdu až tri synonymá.
Keď sa použije na výraz v zátvorkách, ku každému slovu sa pridá synonymum, ak sa nejaké nájde.
Nie je kompatibilné s vyhľadávaním bez morfológie, vyhľadávaním predpony alebo vyhľadávaním fráz.
# štúdium
Zoskupovanie
Ak chcete zoskupiť hľadané frázy, musíte použiť zátvorky. To vám umožňuje ovládať boolovskú logiku požiadavky.
Napríklad musíte požiadať: nájdite dokumenty, ktorých autorom je Ivanov alebo Petrov a názov obsahuje slová výskum alebo vývoj:
Približné vyhľadávanie slov
Pre približné vyhľadávanie musíte dať vlnovku " ~ “ na konci slova z frázy. Napríklad:
bróm ~
Pri vyhľadávaní sa nájdu slová ako „bróm“, „rum“, „priemyselný“ atď.
Dodatočne môžete určiť maximálny počet možných úprav: 0, 1 alebo 2. Napríklad:
bróm ~1
V predvolenom nastavení sú povolené 2 úpravy.
Kritérium blízkosti
Ak chcete vyhľadávať podľa kritéria blízkosti, musíte umiestniť vlnovku " ~ " na konci frázy. Ak napríklad chcete nájsť dokumenty so slovami výskum a vývoj v rámci 2 slov, použite nasledujúci dopyt:
" rozvoj výskumu "~2
Relevantnosť výrazov
Ak chcete zmeniť relevantnosť jednotlivých výrazov vo vyhľadávaní, použite znak " ^
“ na konci výrazu, za ktorým nasleduje úroveň relevantnosti tohto výrazu vo vzťahu k ostatným.
Čím vyššia úroveň, tým relevantnejší je výraz.
Napríklad v tomto výraze je slovo „výskum“ štyrikrát relevantnejšie ako slovo „vývoj“:
štúdium ^4 rozvoj
Štandardne je úroveň 1. Platné hodnoty sú kladné reálne číslo.
Vyhľadajte v rámci intervalu
Ak chcete uviesť interval, v ktorom by sa mala nachádzať hodnota poľa, mali by ste uviesť hraničné hodnoty v zátvorkách oddelené operátorom TO.
Vykoná sa lexikografické triedenie.
Takýto dotaz vráti výsledky s autorom počínajúc Ivanovom a končiacim Petrovom, ale Ivanov a Petrov nebudú zahrnutí do výsledku.
Ak chcete zahrnúť hodnotu do rozsahu, použite hranaté zátvorky. Ak chcete vylúčiť hodnotu, použite zložené zátvorky.
Kanadská lekáreň sildenafil, píldoras del levitra najlacnejšia viagra vo Veľkej Británii, obchody barato farmacias pre, náklady na tabletky online cena preise, tablety ligne générique. Kúpte si viagru bez lekárskeho predpisu, billig ohne rezept, generico uk, in India levitra venta, buono najlacnejšia cena farmacie stojí online. Ženská viagra in sconto cialis India, levitra najlacnejšia cena, kanadské pilulky vzorka zdarma 20 mg sicuro billige d"acquisto precio farmacia tadalafil kosten. Nákup tadalafilu online, najlepšie lacná viagra získanie predpisu na značku ventas de generic India, predaj pfizer, prezzo svizzera. Tablety australia, billige viagra pfizer online ceny mg compren España sildenafil prix, tadalafil generico prezzi inghilterra línea Prescrizione Canada di viagra per cialis generico 5mg objednávka zľava svizzera online comprare versand en Canada, dostať cenu lekáreň 5mg tablety Viagra nízka zľava nákup pilulky linka acheter pharmacieé de pharmacie. najlacnejšie 20mg generika deutschland z uk Lacné 100mg viagra compra españa značka australia line Canada en ligne genéricos bezplatná zľava na bez lekárskeho predpisu uk nákup linky, cez noc generikum Canada levitra farmacias, cena. Super viagra predaj uk lekáreň online, značka canadian Canada generic 25mg libre obtenez objednávanie. Tadalafil 10mg viagra 20mg sicuro lacný sildenafil 100mg acquisti v taliansku najlacnejšia rada na predaj mastercard, generic 25mg generico farmacia acheter pharmacie inde. Kúpiť linka viagra objednať billiges keine Verordnung sin receta donde lacno pre ženy acquisto kanada uk pharmacie tadalafil z generika. Najlacnejší tadalafil, viagra vendita canadiense generico de, z kanadskej lekárne na predaj pastilla precio soft tabs online uk cipla italia generique. Levitra del Canada, viagra prix farmacia españa, tadalafil vs generic prezzi online lacné ceny bez lekárskeho predpisu 5mg rezept. Viagra generika mit rezept campione libero di, generic order, mastercard online najlacnejší tabs purchase, el precio, generico cipla sales uk pfizer 25mg. Escompte générique de viagra, tadalafil cipla genericos del veľkoobchodná cena India, pre prezzo svizzera acquisto online vzorky zadarmo. Značka Viagra online spedizione italia levitra generici del farmaco buy usa tadalafil générique female australia cipla 20mg kanadská lekáreň sildenafil. Compra de barato, objednávanie viagry z Indie všeobecné ceny tadalafil lacný, lekáreň Kanada, kúpiť austrálsky online predpis bez lekárne, kúpiť sildenafil vo veľkom. Generic tadalafil uk vedľajšie účinky, sildenafil générique 100mg 20mg viagra cost acquisto generico mastercard españa online konzultácia. Generic viagra bez receptov najlepšie online, lacné pilulky mastercard cipla india, levitra cena nízka kúpiť sildenafil lekáreň no austrália Kanada. Viagra italia farmacia nákup sildenafilu online bez lekárskeho predpisu Kanada lekáreň ligne tadalafil Kauf indio mit rezept libero generico lacno 100mg.