Rezultati pretrage
Prijeđi na navigaciju
Prijeđi na pretraživanje
Pronađene stranice prema naslovu
- ...lasa [[teorija kategorija|kategorija]], npr. jednostavno tipizirani lambda račun je jezik [[kartezijanski zatvorena kategorija|kartezijanski zatvorenih kate ...ipizirane lambda račune fundamentalnijom teorijom, i [[netipizirani lambda račun]] posebnim slučajem sa samo jednim tipom. ...4 KB (633 riječi) - 00:02, 23. ožujka 2024.
Pronađene stranice prema tekstu članka
- ...lambda račun''' ili '''lambda račun drugog reda''', je [[tipizirani lambda račun]]. Otkrili su ga neovisno [[logičar]] [[Jean-Yves Girard]] i [[računalni zn ...bda račun]] posjeduje varijable nad funkcijama i vezanja nad njima, lambda račun posjeduje varijable nad ''tipovima'' i vezanja nad njima. ...1 KB (1 riječ) - 03:58, 22. prosinca 2021.
- ...lasa [[teorija kategorija|kategorija]], npr. jednostavno tipizirani lambda račun je jezik [[kartezijanski zatvorena kategorija|kartezijanski zatvorenih kate ...ipizirane lambda račune fundamentalnijom teorijom, i [[netipizirani lambda račun]] posebnim slučajem sa samo jednim tipom. ...4 KB (633 riječi) - 00:02, 23. ožujka 2024.
- ...obodnim [[elektron]]om, pa se zatim stvara novi foton valne duljine <math>\lambda'</math> koji se raspršuje pod [[kut]]em <math>\theta</math>.]] :<math>\lambda' - \lambda = \frac{h}{m_e \cdot c} \cdot (1-\cos{\theta}) </math> ...11 KB (1750 riječi) - 04:40, 11. travnja 2024.
- ...ombinatorne logike. Za suvremeniji paralelni tretman kombinatorne logike i lambda računa, vidi Barendregt (1984.), koji također daje pregled [[teorija modela ...z u kombinatorni izraz, i kombinatorna je redukcija mnogo jednostavnija od lambda redukcije. Stoga je kombinatorna logika korištena za modeliranje nekih [[st ...31 KB (4586 riječi) - 13:14, 9. lipnja 2023.
- ..."univerzalnom" prirodom je uveo [[Alonzo Church]], čiji se rad na [[lambda račun]]u isprepleo s Turingovim u formalnoj teoriji [[izračunljivost]]i poznatoj ...4 KB (547 riječi) - 17:58, 19. ožujka 2024.
- ...ili dva ako se želi odvojiti funkcija od njenog ulaza) plus konačni slijed lambda termina, od kojih je svaki deduciran iz prethodnog aplikacijom [[beta reduk ...točke '''Y''' u kombinatornoj logici ima normalnu formu, ali ne i u <math>\lambda</math>-računu). Kombinatorna je logika razvijena s velikim ambicijama: razu ...11 KB (1622 riječi) - 09:14, 29. prosinca 2021.
- To su dvoradne sisaljke koje na račun smanjenja ukupne dobave postižu bolje uravnoteženje dobave i manje oscilaci :<math>Q_s =Q \times \lambda</math> ...8 KB (1242 riječi) - 15:49, 18. travnja 2022.
- ...blik [[val]]a ponavlja. Obično se označava [[Grčki jezik|grčkim slovom]] [[lambda]] (''λ''). Jedan puni val ujedno predstavlja i jedan [[titranje|titraj]], a :<math> \lambda = \frac{v}{f} </math> ...13 KB (1893 riječi) - 07:45, 16. ožujka 2025.
- ...obodnim [[elektron]]om, pa se zatim stvara novi foton valne duljine <math>\lambda'</math> koji se raspršuje pod [[kut]]em <math>\theta</math>.]] ...pješnu metodu za tretiranje kaskade. Utjecaj ionizacije kasnije su uzeli u račun [[Igor Jevgenjevič Tamm|I. J. Tamm]] i Belenky.<ref>[[Ivan Supek]]: "Nova f ...13 KB (2097 riječi) - 04:23, 3. prosinca 2024.
- [[Lambda račun]], važna preteča formalne teorije izračunljivosti, su razvili [[Alonzo Chur ...16 KB (2614 riječi) - 11:18, 6. ožujka 2025.
- ...nja. Točnije, smanjili smo standardnu devijaciju pozicije σ<sub>x</sub> na račun povećavanja standardne devijacije količine gibanja σ<sub>p</sub>. ...obodnim [[elektron]]om, pa se zatim stvara novi foton valne duljine <math>\lambda'</math> koji se raspršuje pod [[kut]]em <math>\theta</math>.]] ...48 KB (7653 riječi) - 10:55, 16. ožujka 2025.
- :<math> \lambda = \frac{h}{\sqrt{2 \cdot m \cdot (E - U)}} </math> ...odnose koji vladaju i u [[Bohrov model atoma|Bohrovu modelu atoma]]. Točan račun pokazuje da se dimenzije rasprostiranja vala u stabilnom stanju podudaraju ...19 KB (2998 riječi) - 19:07, 16. studenoga 2024.
- :<math> S = \frac{\pi^2 \cdot E}{\lambda^2 \cdot \sigma_p} </math> :<math> \sigma_k = \frac{\pi^2 \cdot E}{\lambda^2} </math> ...41 KB (6910 riječi) - 18:26, 20. kolovoza 2024.