Rolles sætning
Rolles sætning er et matematisk resultat der kan formuleres således: Hvis en differentiabel funktion \(f \ : \ [a, b] \rightarrow \mathbb{R}\) opfylder \(f(a)=f(b)=0\), så findes et tal \(c \in ]a,b[\), for hvilket \(f'(c) = 0\). Læs
Rolles sætning er et matematisk resultat der kan formuleres således: Hvis en differentiabel funktion \(f \ : \ [a, b] \rightarrow \mathbb{R}\) opfylder \(f(a)=f(b)=0\), så findes et tal \(c \in ]a,b[\), for hvilket \(f'(c) = 0\). Læs
rolle. Sætninger opbygget vha. "hvis..., så..." kaldes implikationer. Opbygges de af "ikke", "og" og "eller", kaldes de hhv. negationer, konjunktioner og disjunktioner. De nævnte småord kaldes logiske konnektiver, og man har i moderne logik indført tegn for dem: ⇒ for "hvis
Rolles sætning er et specialtilfælde. Integralregningens middelværdisætning: For en kontinuert funktion \(f \ : \ [a,b] \rightarrow \mathbb{R}\) findes et tal \(c \in ]a,b[\), så \[ f(c) = \frac{1}{b-a} \int^b_a f(x)dx.\] Resultatet følger af
sætning er en matematisk sætning der spiller en stor rolle i funktionalanalysen. Den blev bevist af den østrigske matematiker H. Hahn (1879-1934) i 1927 og uafhængigt heraf af S. Banach i 1929, men et specialtilfælde blev vist af M
sætningen viser, at den sædvanlige prædikatslogik ikke er rig nok til at formalisere, hvad vi forstår ved en uendelig mængde. Sætningen er blevet generaliseret og spiller en stor rolle i moderne logik, fx i modelteori og mængdelære. Filosoffen Hilary Putnam
rolle, sprogs grammatiske struktur spiller for tænkning. Man har fx fremført, at det er karakteristisk for indoeuropæiske sprog, at sætningen ses med udgangspunkt i den aktivt handlende person i modsætning til såkaldte ergative sprog, der gerne opbygger sætningen med udgangspunkt
er i sprogbeskrivelse det led, som betegner den, der udfører verbalets handling i en sætning. Agenten svarer ofte til subjektet i en aktiv sætning, fx Ib i Ib spiste isen. I en passiv sætning kan agenten udelades eller udtrykkes som
rolle inden for forskningen i matematisk analyse og i Hahn-Banachs sætning. Vigtigheden understreges af, at langt de fleste rum, som optræder i disse matematiske områder, viser sig at være Banachrum, således at teorien for disse finder anvendelse. Mange forskere
Jacques Herbrands sætning simplificerer formelle beviser i prædikatslogikken væsentligt, og den spiller en stor rolle i moderne logik, bl.a. i bevisteori og ved udviklingen af semantikker for programmeringssprog og metoder til automatisk bevisførelse. Læs mere i Den Store Danske logik
yderligere ca. 25 mio. Sproget, der skrives med det latinske alfabet, har et betydeligt indslag af spanske låneord. Desuden benyttes topikalisering; verbet står normalt først i sætningen, nominalleddenes forskellige funktioner angives ved partikler, og subjektet spiller kun en beskeden rolle.