Книга представляет собой исследование, где предпринимается попытка на основе детальной проработки первоисточников и воспроизведения основных ходов мысли и интуиций Гегеля и позднего Шеллинга провести сравнительный анализ их учений об абсолюте.
Pascal’s protean genius beggars description. Though most widely known today for his apologetic and/or polemical work in Christian theology, he was also a philosopher of enduring importance, a noted mathematician, and a physicist who undertook important experiments in support of Toricelli’s claim that nature exhibits no horror vacui. On a more practical level, he invented, patented and massproduced a calculator, helped establish public transit in Paris, etc.
This paper deals with the effects of an amplitude-modulated excitation on the nonlinear dynamics of reactions between four molecules. The computation of the fixed points of the autonomous nonlinear chemical system has been made in detail using the Cardan’s method. Hopf bifurcation has been also successfully checked. Routes to chaos have been investigated through bifurcations structures, Lyapunov exponent, phase portraits, and Poincaré section. The effects of the control force on chaotic motions have been strongly analyzed, and the control efficiency is (...) found in the cases g=0 and g≠0 with Ω=ω and Ω/w≠p/q; p and q are simple positive integers. Vibrational resonance, hysteresis, and coexistence of several attractors have been studied in detail based on the relationship between the frequencies of the AM force. Results of analytical investigations are validated and complemented by numerical simulations. (shrink)
Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms (...) of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructed. (shrink)
