intuicionistická logika oor Engels
intuicionistická logika
Vertalings in die woordeboek Tsjeggies - Engels
intuitionistic logic
en
logic
intuitive logic
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Proto v některých logických systémech (např. intuicionistická logika) neplatí.
If only I didn' t know you so wellWikiMatrix WikiMatrix
Disjunktivní vlastnost a přípustná pravidla v intuicionistické logice – Marta Bílková (2 hodiny)
And I like where this is going!ParaCrawl Corpus ParaCrawl Corpus
Tato práce se zabývá relací bisimulace v modální logice a také v intuicionistické logice bez kontrakce.
But then, I got tangled in my own netParaCrawl Corpus ParaCrawl Corpus
Disjunktivní vlastnost a přípustná pravidla v intuicionistické logice – Marta Bílková (2 hodiny)
What' d he expect you to do about it?ParaCrawl Corpus ParaCrawl Corpus
Intuicionistická logika, systém přirozené dedukce a souvislost s typovanými lambda kalkuly.
As for expertise, there are the folks at MIL Davie and in Les Méchins, at the the shipyard run by Mrs. Verreault, a competent businesswoman able to compete internationallyParaCrawl Corpus ParaCrawl Corpus
Konkrétně se věnujeme výrokovým substrukturálním logikám, které lze získat ze sekventového kalkulu LJ pro intuicionistickou logiku odebráním strukturálních pravidel.
Ladies and gentlemen, Mr. Bob HarrisParaCrawl Corpus ParaCrawl Corpus
Disjunktivní vlastnost a přípustná pravidla v intuicionistické logice – Marta Bílková (2 hodiny) Logika otázek – Michal Peliš, Libor Běhounek (2-3 hodiny)
All money received, the amounts of which in terms of subsection must beParaCrawl Corpus ParaCrawl Corpus
Lambekovým kalkulem, tedy intuicionistickou logikou bez pravidel záměny, kontrakce a oslabení, a především dvěma různými sé- mantikami této logiky, totiž sémantikou algebraickou a kripkovskou.
That' s what I told himParaCrawl Corpus ParaCrawl Corpus
Některé další logiky (intuicionistická, modální a temporální logika, Presburgerova aritmetika)
Just get her homeParaCrawl Corpus ParaCrawl Corpus
Formální teorie, predikátová logika, intuicionistická, modální a temporální logika, algebraické struktury s jednou a dvěma binárními operacemi, univerzální algebry, topologické a metrické prostory, Banachovy a Hilbertovy prostory, neorientované grafy, orientované grafy a sítě.
The Committee of the Regions is increasingly insistent in drawing the attention of the European institutions to the challenges facing urban regionsParaCrawl Corpus ParaCrawl Corpus
Hlavním tématem článku je rozdílné chápání logických spojek v různých logických systémech (jako příklad jsou uvedeny klasická, intuicionistická a lineární logika).
My van' s stuck and I saw a sign for an innParaCrawl Corpus ParaCrawl Corpus
Hlavním tématem článku je rozdílné chápání logických spojek v různých logických systémech (jako příklad jsou uvedeny klasická, intuicionistická a lineární logika).
You try it, smartParaCrawl Corpus ParaCrawl Corpus
Formální teorie, predikátová logika, intuicionistická, modální a temporální logika, algebraické struktury s jednou a dvěma binárními operacemi, univerzální algebry, topologické a metrické prostory, Banachovy a Hilbertovy prostory, neorientované grafy, orientované grafy a sítě, základní pojmy z teorie kategorií.
Up till now, they' ve found that they can' t control usSo they decided to cancel this planParaCrawl Corpus ParaCrawl Corpus
Formální teorie, predikátová logika, intuicionistická, modální a temporální logika, algebraické struktury s jednou a dvěma binárními operacemi, univerzální algebry, topologické a metrické prostory, Banachovy a Hilbertovy prostory, neorientované grafy, orientované grafy a sítě, základní pojmy z teorie kategorií.
There are things about humans I don' t know?ParaCrawl Corpus ParaCrawl Corpus
2005 - český Hlavním tématem článku je rozdílné chápání logických spojek v různých logických systémech (jako příklad jsou uvedeny klasická, intuicionistická a lineární logika).
Conduct the dynamic testParaCrawl Corpus ParaCrawl Corpus
Prenexové normální tvary, skolemizace a Herbrandova věta, základy intuicionistické, modální a temporální logiky.
I' m very glad you came hereParaCrawl Corpus ParaCrawl Corpus
Intuicionistická, modální a temporální logika, Presburgerova aritmetika
I thought I was the only one who lived here during my off hoursParaCrawl Corpus ParaCrawl Corpus
17 sinne gevind in 9 ms. Hulle kom uit baie bronne en word nie nagegaan nie.