Resultados de la percura
Saltar para a navegação
Saltar para a pesquisa
- Na [[matemática]], na [[lógica]] i na [[ciéncia de la cumputaçon]], las '''álgebras boleanas''' (ó '''álge ...terra|anglés]], que fui l purmeiro la defeni-las cumo parte dun sistema de lógica an meados de l [[seclo XIX]]. Mais specificamente, la álgebra boleana fui u ...18 KB (2 771 palabras) - 15h34min de 11 de setembre de 2017
- ...clássica fui [[Aristóteles]], cula obra chamada [[Uorgano]]. El debide la lógica an ''formal'' i ''material''. ...lógica formal fúrun custruídos al largo de l tiempo quier na scrita de la Lógica Teórica, quier an aplicaçones práticas na [[cumputaçon]] i an [[Anteligénci ...23 KB (4 001 palabras) - 21h10min de 7 de márcio de 2013
- ...un sistema de numeraçon mui outelizado na [[Anformática]], assi cumo na [[Matemática]], i an [[sistema digital|sistemas digitales eiletrónicos]]. Stamos falando ...sistema para cuntaiges, somatórias, antre outras ouparaçones básicas de la Matemática. ...11 KB (1 666 palabras) - 01h17min de 6 de outubre de 2023
- Se ''P'' (''x'') fur ua [[lógica de purmeira orde | fórmula de purmeira orde]] na lenguaige de l'aritmética * [[Cunsisténcia lógica | cunsistente]]: Nun hai nanhue declaraçon na aritmética de Presburger que ...9 KB (1 301 palabras) - 00h52min de 6 de outubre de 2023
- ...epersentar [[porgrama de cumputador|porgramas de cumputadores]] ó [[Puorta lógica|circuitos lógicos]]. L cunceito ye cuncebido cumo ua máquina abstrata que d ...[[ciéncia de la cumputaçon]], [[filosofie]], biologie, [[matemática]] i [[lógica]]. Máquinas de stados fenitos son ua classe d'outómatos studada na [[teorie ...22 KB (3 642 palabras) - 02h41min de 12 de outubre de 2023
- ...ie çcubierta hai muito anho, inda hoije se manténen bálidas i úteles, i la Matemática cuntina permanentemente a demudar i a zambolbé-se. ...fui-se fazendo ua defeniçon que ten gran aceitaçon antre ls matemáticos: ''matemática ye la [[ciéncia]] de las regularidades'' ([[padrones]]). Segundo esta defen ...22 KB (3 476 palabras) - 15h05min de 2 de abril de 2020
- An [[matemática]], ua '''sequéncia''' (ó ua '''sucesson''') ye ua lista ([[cunjunto]]) de n # Ls eilemientos tamien son chamados '''[[Termo (Matemática)|tenermos]]''' de la sucesson; ...26 KB (4 209 palabras) - 03h05min de 6 de outubre de 2023
- ...enado atrabeç dun punto nun praino, esse punto ye chamado de '''[[Fexeiro (matemática)|eimaige]]''' de l par ourdenado. ...emática]]. Antretanto, tenendo an bista ls [[matemática|fundamientos de la matemática]] bamos spressar la defeniçon de cada tipo d'oubjeto matemático an tenermos ...11 KB (1 800 palabras) - 18h45min de 3 de febreiro de 2019
- ...''' (alguas bezes simplesmente chamada de '''gramática''') ye un oubjeto [[matemática|matemático]] que permite specificar ua lenguaige ó léngua, ó seia, ye un cu ...eórica]], [[lenguísticas teóricas]], [[semánticas formales]], [[matemática lógica]], antre outras árias. ...13 KB (2 084 palabras) - 01h35min de 6 de outubre de 2023
- |campo =[[Matemática]] ...e [[1903]] — [[Washington, D.C.]], [[8 de febreiro]] de [[1957]]) fui un [[Matemática|matemático]] [[Hungrie|húngaro]] d'ourige [[judaísmo|judaica]], naturalizad ...69 KB (11 506 palabras) - 17h06min de 29 de júlio de 2023
- ...turan la noçon anformal de procedimiento macánico ó efetibo na lógica i na matemática ye coincida cumo [[Tese de Church-Turing]]. ...18 KB (3 049 palabras) - 03h05min de 16 de agosto de 2024
- Michael Reddy ouserbou que "'senhales' de la [[teorie|teorie matemática]] son 'padrones que puoden ser trocados'. Nun hai mensaige cuntida ne l sen ...ige. La sintaxe cumo ua ária studa la forma de quemunicaçon an tenermos de lógica i gramática de ls sistemas de signos. La sintaxe ye dedicada al studo de la ...19 KB (2 985 palabras) - 00h50min de 6 de outubre de 2023