GLOBAL KNOWLEDGE ARK

Žinynas

Žinių pagrindai

Tyrinėkite sąvokas, dėsnius, lygtis ir metodus, jų taikymą ir šaltinius. Pasirinkite pažinimo sritį arba raskite konkretų žinyno įrašą.

Daugiau filtrų

Žinyno įrašai

Rodoma įrašų: 91–120 iš 1709

ChemijaReakcijų greičiai ir empiriniai greičio dėsniai

Reakcijos greitis nusako pokytį per laiką; greičio dėsnis aprašo jo priklausomybę nurodytomis sąlygomis.

MetodasChemijaKatalizė ir pusiausvyra

Katalizatorius keičia reakcijos kelią ir greitį, tačiau nekeičia tos pačios reakcijos pusiausvyros konstantos.

ModelisBiologijaLąstelės kaip gyvybės vienetai

Ląstelių teorija aprašo ląstelinės gyvybės organizaciją ir dauginimąsi.

ModelisBiologijaDNR ir sekos informacija

DNR bazių sekoje saugoma biologinė informacija.

ApibrėžimasBiologijaGenų raiška

Genų raiškos metu pagal geno informaciją susidaro funkcinė RNR arba baltymas.

ApibrėžimasBiologijaDNR replikacija

Dėl komplementaraus bazių poravimosi DNR grandinės gali būti kopijavimo matricos.

ModelisBiologijaLąstelės ciklas, mitozė ir citokinezė

DNR padvigubėjimas, branduolio dalijimasis ir citoplazmos dalijimasis yra atskiri įprasto mitozinio ciklo įvykiai.

ModelisBiologijaMejozė ir chromosomų segregacija

Įprasta diploidinė mejozė po vienos DNR replikacijos per du dalijimusis chromosomų rinkinių skaičių sumažina perpus.

ModelisBiologijaAleliai ir Mendelio segregacija

Diploidinio individo poriniai aleliai gali atsiskirti ir patekti į gametas.

ModelisBiologijaBiologinė evoliucija

Evoliucija apima paveldimus pokyčius per kartas.

ApibrėžimasBiologijaGamtinė atranka

Paveldima įvairovė gali kisti dėl reprodukcinio indėlio skirtumų.

ModelisBiologijaGenetinis dreifas

Atsitiktinumas gali keisti alelių dažnius nepriklausomai nuo prisitaikymo pranašumo.

ModelisBiologijaBendra kilmė ir besišakojančios linijos

Evoliuciniai ryšiai nusako kilmę iš bendrų protėvių.

ModelisBiologija · ChemijaMetabolizmas ir cheminiai keliai

Metabolizmas apima reguliuojamas gyvųjų sistemų chemines reakcijas.

ApibrėžimasBiologijaOksigeninė fotosintezė

Oksigeninė fotosintezė susieja šviesos energijos sugėrimą su anglies fiksacija ir iš vandens išskiria deguonį.

ModelisBiologijaAerobinis ląstelinis kvėpavimas

Aerobinis kvėpavimas susieja maisto medžiagų oksidaciją su ATP gamyba, naudojant deguonį kaip galutinį elektronų akceptorių.

ModelisBiologijaMembranos ir pernaša

Atrankiai laidžios membranos ir pernašos baltymai reguliuoja medžiagų judėjimą tarp ląstelės ir jos aplinkos.

ModelisBiologijaEkologija ir ekosistemos

Ekologija nagrinėja organizmų tarpusavio sąveikas ir jų sąveikas su fizine aplinka.

ApibrėžimasBiologijaHomeostazė ir neigiamasis grįžtamasis ryšys

Grįžtamasis ryšys gali palaikyti vidinius kintamuosius funkcionavimui tinkamose ribose.

ModelisŽemė ir kosmosasUolienų ciklas ir geologiniai virsmai

Uolienų medžiagos gali kisti įvairiais geologiniais būdais.

ModelisŽemė ir kosmosasPlokščių tektonika

Judančios litosferos plokštės lemia daugelį didelio masto geologinių procesų.

ModelisŽemė ir kosmosasŽemės vandens apytaka

Vanduo juda tarp telkinių virš Žemės paviršiaus, ant jo ir po juo.

ModelisŽemė ir kosmosas · Biologija · ChemijaŽemės anglies apytaka

Anglis juda tarp biologinių, vandenyninių, atmosferinių ir geologinių rezervuarų.

ModelisŽemė ir kosmosasPlanetos spindulinės energijos balansas

Žemėje sukauptos energijos kiekis kinta, kai gaunamos ir atiduodamos energijos kiekiai skiriasi.

ModelisŽemė ir kosmosasAtmosferos šiltnamio efektas

Infraraudonosios spinduliuotės sugertis ir emisija veikia tai, kaip Žemė atiduoda šilumą į kosmosą.

ModelisŽemė ir kosmosasOrai, klimatas ir jų laiko masteliai

Orai apibūdina trumpalaikes sąlygas, o klimatas – ilgalaikius jų dėsningumus.

ApibrėžimasŽemė ir kosmosasOrbitos kaip gravitacinis judėjimas

Orbita judantis kūnas gali nuolat laisvai kristi veikiamas gravitacijos.

ModelisŽemė ir kosmosasŽvaigždžių branduolių sintezė ir evoliucija

Pagrindinės sekos žvaigždės išskiria energiją vykstant vandenilio branduolių sintezei į helį.

ModelisŽemė ir kosmosasKarštasis Didysis sprogimas ir kosminė mikrobangų foninė spinduliuotė

Plėtimasis ir reliktinė spinduliuotė pagrindžia ankstesnės karštos, tankios Visatos sampratą.

ModelisMatematika ir logikaPirmosios eilės predikatai ir kvantoriai

Kvantoriai susaisto kintamuosius nurodytoje srityje.

Apibrėžimas
ApibrėžimasPatikrinta pagal šaltinius

Pirmosios eilės predikatai ir kvantoriai

Matematika ir logika

Kvantoriai susaisto kintamuosius nurodytoje srityje.

Esminės žinios

Klasikinėje pirmosios eilės logikoje ∀x φ yra teisinga, kai φ yra teisinga kiekvienam srities elementui; ∃x φ yra teisinga, kai ji teisinga bent vienam elementui. Laisviesiems kintamiesiems būtinas reikšmių priskyrimas.

Sąlygos ir taikymo ribos

  • Naudokite netuščią sritį ir fiksuotas konstantų, funkcijų bei sąryšių interpretacijas.
  • Kvantorių tvarka ir kintamųjų susaistymas yra svarbūs; kvantifikavimas savavališkų savybių atžvilgiu priklauso antrosios eilės logikai.
Šaltiniai · 1

Šaltiniai

Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.

  1. B1.1 Logic, sections 7 and 9Martin Bays / University of OxfordPaskaitų medžiaga · PDFpeople.maths.ox.ac.ukSkaityti šaltinį

Pagrindimas ir peržiūra

Skyriai 7.2–7.6: struktūros, reikšmių priskyrimai ir kvantoriai; skyrius 9: korektiškumas ir pilnumas. Fiziniai puslapiai 83–100, 128–133 ir 152–153.

2026-10-10 · Tik pirmosios eilės kvantorių semantika.

Susiję žinyno įrašai

Tyrinėkite ryšius šioje pažinimo srityje ir jos sąsajas su kitomis sritimis.

Rodomi 1–6 iš 6 ryšių

Mokslinių žinių ryšiai · 6 / 6

Ryšio tipas nusako santykį. Susieti teiginiai, šaltiniai ir sąlygos apibrėžia jo taikymo ribas.

  1. Remiasi apibrėžimu
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • Klasikinėje pirmosios eilės logikoje ∀x φ yra teisinga, kai φ yra teisinga kiekvienam srities elementui; ∃x φ yra teisinga, kai ji teisinga bent vienam elementui. Laisviesiems kintamiesiems būtinas reikšmių priskyrimas.
  2. Remiasi apibrėžimu
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • Pirmosios eilės modelyje teorijos sakiniai interpretuojami kaip teisingi. Korektiškumas ir pilnumas užtikrina, kad išvedamumas yra lygiavertis teisingumui kiekviename modelyje. Vis dėlto neprieštaringame, efektyviai aksiomatizuotame Peano aritmetikos plėtinyje esama aritmetinio sakinio, kurio nei paties, nei jo neiginio negalima įrodyti.
  3. Remiasi apibrėžimu
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • Ciklo įrodymas pradžioje nustato invariantą, išsaugo jį per kiekvieną iteraciją, vykdomą esant teisingai ciklo sąlygai, ir kartu su klaidinga sąlyga iš jo išveda baigiamąją sąlygą. Visiškam korektiškumui taip pat būtinas baigimas, pavyzdžiui, griežtai mažėjantis neneigiamas sveikasis variantas.
  4. Remiasi apibrėžimu
    Ryšio šaltiniai · 2

    Susieti teiginiai

    • TQBF uždavinys klausia, ar visiškai kvantifikuota baigtinė Bulio formulė yra teisinga. Egzistencinių kvantorių šakos jungiamos operacija ARBA, o visuotinių kvantorių – operacija IR; vertinant paieška į gylį, daugianario dydžio darbinė atmintis naudojama pakartotinai. TQBF yra PSPACE-pilnas pagal daugianario laiko daugelio į vieną redukcijas.
  5. Remiasi apibrėžimu
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • Kiekvienai bekontekstei kalbai L egzistuoja toks p≥1, kad kiekvieną w∈L, kurio |w|≥p, galima išskaidyti kaip w=uvxyz taip, kad |vxy|≤p, |vy|≥1 ir uvⁱxyⁱz∈L kiekvienam sveikajam skaičiui i≥0. Pakankamai ilgame sintaksinės analizės medžio kelyje pasikartojantis kintamasis leidžia kartu pumpuoti dvi jį supančias dalis.
  6. Susiję su
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • Intensionaliojoje priklausomųjų tipų teorijoje termas x:A priklauso tipui, priklausomosios sandaugos koduoja funkcijas ir įrodymus, kurių rezultatų tipai priklauso nuo kintamųjų, o tapatybės tipai koduoja sutapatinimus. Patys keliai turi tapatybės tipus, todėl galimi aukštesnieji keliai ir tipų interpretacija kaip begalybės grupoidų. Tapatybės tipų eliminavimo taisyklė yra kelių indukcija, kuri priklausomąjį teiginį apie kelius suveda į refleksyvumo atvejį; ji nereikalauja, kad visi keliai būtų lygūs.

    Dependent products/sums provide a different encoding of quantified propositions.

Įrašo informacijaNuolatinė nuoroda į šį įrašą ↗
Įrašo identifikatorius
math-predicate-logic
Versija
university-reference.1
Struktūruotas žinyno įrašas
Universitetinis žinynas