• Nem Talált Eredményt

18 eredmény a kulcsszóra: 'verification of pointer programs'

SOME COMPANIONS OF AN OSTROWSKI TYPE INEQUALITY AND APPLICATIONS

The following result is useful in providing the best quadrature rule in the class for approximating the integral of a function f : [a, b] → R whose first derivative is

Protected

N/A

23
0
0
2022
Formal Verification of Programs

Either, the assertions used in the consequence rules cannot be captured by a complete proof system, or not every set of states can be represented by formulas

Protected

N/A

117
0
0
2022
s zülő, f izetésre kötelezett A normatív kedvezmény csak egy jogcímen vehető igénybe, a hiánytalan igénylőlap és szükséges igazolások benyújtását, elbírálását követő naptári naptól. FIGYELEM __________________________________________________________________________________

Három vagy többgyermekes családban élő gyermek után járó kedvezmény Nyilatkozom, hogy a velem közös háztartásban élő gyermekek száma: _______fő - ebből 18 éven aluli __________fő -

Protected

N/A

1
0
0
2024
We establish some companions of an Ostrowski type integral inequality for func- tions whose derivatives are absolutely continuous

The following result is useful in providing the best quadrature rule in the class for approxi- mating the integral of a function f : [a, b] → R whose first derivative is

Protected

N/A

12
0
0
2022
A significant part of the heating arrangement is a medium-frequency – so called length-field – heating inductor

In case of the inductor only the distance between the pole surfaces, signed by d and the number of turns, signed by N and in connection with it the width of the conductor m

Protected

N/A

10
0
0
2022
Schizophrenia Research

Of the 97 high-risk individuals enrolled in the study, 31 partici- pants (32%) developed psychotic disorders (schizophrenia, schizo- phreniform disorder, psychotic mood disorder) by

Protected

N/A

2
0
0
2022
„Én vagyok én, te vagy te, ki a szamár?” A társas deixis műveleteinek reflektáltsága és a humor1

Az előadás célja internetes és hétköznapi társalgásokból gyűjtött példák, illetve egy inter- netes mémszöveg részletes elemzése révén annak bemutatása, hogy a személyek

Protected

N/A

1
0
0
2022
On utilising an identity from [5], some weighted Ostrowski type inequalities are established

RASSIAS (Eds.), Ostrowski Type Inequalities and Applications in Numerical Integration, Kluwer Academic Publishers, Dordrecht, 2002..

Protected

N/A

10
0
0
2022
Közoktatási vezető és pedagógus szakvizsga szakirányú továbbképzési szak képzési és kimeneti követelményei

(a közoktatás központi értékelési rendszere, a központi mérésekkel kapcsolatos intézményi szervezési, szakmai feladatok, a mérési eredmények beépítése a

Protected

N/A

5
0
0
2022
Element content of Fusarium-infected wheat genotypes Szeged – Timişoara axis for the safe food and feed SZETISA1 HURO/0901/147/2.2.2

Line 474 – earlier Fusarium resistant (alias 484), high Mn level in the ear 1/a – inoculated with Fusarium culmorum. 2/a – inoculated with

Protected

N/A

32
0
0
2023
A BUDAI CISZTERCI SZENT IMRE GIMNÁZIUM RÖVID KÉPES TÖRTÉNETE

Az államosított iskola két évig még viselte a Szent Imre Gimnázium nevet, csak utána vette föl állami utasí- tásra József Attila nevét. A kommunista államhatalom 1950

Protected

N/A

5
0
0
2022
L'Enseignement de la Géographie dans les écoles secondaires : [könyvismertetés]

Nem világítja meg azonban kellőképen, milyen módon gondolja rendszerét gyakorlatilag alkalmazhatónak, úgy hogy ez a rend- szer az eddigi j ó l bevált típusokat, amelyek

Protected

N/A

2
0
0
2022
Lionel Bellenger: Les méthodes de lecture : az olvasás módszertana : Párizs 1978. Presses Universitaires de Francé. 127 oldal : [könyvismertetés]

A szerző meggyőz róla, hogy a ma emberének igen sokat kell olvasnia, de az oktatási hagyomá- nyokkal szakítva, a korszerű tudomány kínálta módszerekkel.. Amit tanulunk

Protected

N/A

1
0
0
2022
A szövegértés fejlesztésének elmélete és gyakorlata Nyelv és iskola

A PISA-fel- mérések által vizsgált „literacy” – magyarul olvasástudás vagy még inkább olvasás- kultúra – „az írott szövegek megértésének, használatának,

Protected

N/A

13
0
0
2022
Csávossy Elemér: Érd angyala. Bogner Mária Margit nővér élete és erényei

Még nincs öt éve, hogy Bogner Etelka, nagybecskereki leány, aki az érdi Vizitáció- rendben a Mária Margit nevet viselte, 27 éves korában szent halállal húnyta le szemét, s

Protected

N/A

154
0
0
2022
1Introduction ExtendingtheSparkleCorelanguagewithobjectabstraction

Applicative (Functional) Programming; F.3.1 [Logics and meanings of pro- grams]: Specifying and Verifying and Reasoning about Programs - invariants ; Key Words and

Protected

N/A

27
0
0
2022
Barabási Tünde:

megfeleltetjük egymásnak az óvodai tapasztalati területeket és az előkészítő osztály számára meghatározott műveltségi területeket, azt tapasztaljuk, hogy

Protected

N/A

25
0
0
2022
’ sAdjuvantinducesactivationandinflammatoryresponseintherattrigeminalganglion DuraladministrationofinflammatorysouporCompleteFreund RESEARCHARTICLEOpenAccess

The same pattern as for the fresh TG was seen in the vehicle-treated animals (Fig. 5g-i) treated rats, CGRP immunoreactivity was observed in the neurons and nerve fibres at all

Protected

N/A

11
0
0
2022

Töltsön fel további dokumentumokat, és töltse le azonnal az anyagtanulmányokat!