The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The paper is a review of the book by Krzysztof Wójtowicz, O pojęciu dowodu w matematyce [On the Concept of Proof in Mathematics]. It presents the main theses of the book and evaluates them.
The aim of the paper is to study the role and features of proofs in mathematics. Formal and informal proofs are distinguished. It is stressed that the main roles played by proofs in mathematical research are verification and explanation. The problem of the methods acceptable in informal proofs, in particular of the usage of computers, is considered with regard to the proof of the Four-Color Theorem...
IDOP_SP (IPTV DRM interactive operating platform security protocol) protocol is a applied complicated protocol which distributes digital media content in the Internet. The flow of the protocol is based on the behavior of Web service composition and the digital content is transmitted to the customer in the form of hybrid digital objects. But the protocol security only can be assured after the protocol...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.