PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 4

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  podstawy
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Types and operations
Ambroszkiewicz S.
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
|
2014
|
Nr 1030
1--72
EN
A revision of the basic concepts of type, function (called here operation), and relation is proposed. A simple generic method is presented for constructing operations and types as concrete finite structures parameterized by natural numbers. The method gives rise to build inductively so called Universe intended to contain all what can be effectively constructed at least in the sense assumed in the paper. It is argued that the Universe is not yet another formal theory but may be considered as a grounding for some formal theories.
PL
Zaproponowana została rewizja podstawowych pojęć typu i funkcji (nazywanej tutaj operacją). Typy, obiekty tych typów oraz operacje są konstruowane za pomocą prostej i uniwersalnej metody jako skończone struktury parametryzowane liczbami naturalnymi. Metoda ta pozwala na budowanie tzw. Uniwersum, które, w zamierzeniu, ma zawierać wszystko co jest efektywnie konstruowalne przynajmniej w sensie, jaki jest przyjęty w tej pracy. Przedstawione są argumenty, że Uniwersum nie jest jeszcze jedną formalną teorią, lecz może służyć jako ugruntowanie dla pewnych formalnych teorii.
2
Content available Logistyka jako element strukturalny gospodarczych podstaw bezpieczeństwa państwa
Zieliński Włodzimierz
Wiedza Obronna
|
2010
|
nr 2
40--54
3
Content available remote Podstawy nauki o korozji dla opornych słuchaczy
Królikowski A.
Ochrona przed Korozją
|
2008
|
nr 4-5
179-182
PL
Wiadomości o korozji i ochronie przed korozją są traktowane marginalnie w nowych standardach kształcenia, określających programy studiów na kierunkach technicznych. Przyszli inżynierowie będą mieli kilka, a w najlepszym wypadku kilkanaście godzin zajęć, mniej lub bardziej związanych z korozją, w bloku przedmiotów obowiązkowych. W tych warunkach niemożliwe jest przekazanie im szerszych podstaw nauki o korozji. W pracy przedstawiono sprawdzone w praktyce, uproszczone sposoby omawiania zagadnień korozyjnych. Skomplikowane problemy są ilustrowane żartobliwymi rysunkami. Zwiększa to atrakcyjność zajęć i umożliwia dotarcie do słuchaczy o zróżnicowanym przygotowaniu i zróżnicowanej motywacji do studiowania.
EN
The knowledge on corrosion and corrosion protection is treated marginally in new higher education standards, determining curricula of technical courses of university studies. Coming engineers will have very few hours of obligatory teaching on topics more or less related to corrosion. Under these conditions a comprehensive teaching of bases on corrosion knowledge is hardly possible. Therefore, in this paper the proved in practice, simplified approach for presenting corrosion problems is shown. Complicated phenomena are illustrated with facetious drawings. This approach makes lecturing more attractive and more understandable for audience of various academic background and motivation to study.
4
Content available remote Podstawy bezpieczeństwa państwa
Koziej S.
Wiedza Obronna
|
1999
|
nr 1
17--24
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.