| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910451203403321 |
|
|
Titolo |
Symbolic computation and education [[electronic resource] /] / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore ; ; Hackensack, NJ, : World Scientific, c2007 |
|
|
|
|
|
|
|
ISBN |
|
1-281-92896-8 |
9786611928964 |
981-277-600-1 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
LiShangzhi <1947-> |
WangDongming <1961-> |
ZhangJingzhong <1936-> |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mathematics - Computer-assisted instruction |
Computable functions - Data processing |
Logic, Symbolic and mathematical |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"International Seminar on Symbolic Computation in Education (SCE 2006) held at Beihang University, Beijing, China from the 12th to 14th April 2006."--P. [v]. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
The Crisis We Face and How to Try to Deal with It (J J Uhl & D Woods); Mathematics Topics Foundational to Calculus at the Secondary Level (A R Quesada); Hand-held Technology in Secondary Mathematics Education (B Kissane); College Algebra Change (R L Mayes et al.); Mathematics Experiments -- Learning and Investigating Mathematics with the Help of Computers (S Li); CreaComp: Experimental Formal Mathematics for the Classroom (G Mayrhofer et al.); Free Software SSP for Teaching Mathematics (J-Z Zhang et al.); Bringing More Intelligence to Dynamic Geometry by Using Symbolic Computation (F Botana); Combining CAS and DGS -- Towards Algorithmic Thinking (U H Kortenkamp); Integrating Rule-Based and Input-Based Approaches for Better Error Diagnosis in Expression Manipulation Tasks (R Prank et al.); Automated Generation of Readable Proofs for a Class of Limits of Sequences and Functions (J Ruan & Z Lu); Computer Algebra Meets |
|
|
|
|
|
|
|
|
|
|
|
|
|
an Ancient Egyptian Problem (Y-K Man); Finite Series Expansions for Powers of Sine and Cosine Functions via Mathematica (T de Alwis); Solving the Heat and Wave Equations with the (Fast) Discrete Fourier Transform (A G Akritas et al.). |
|
|
|
|
|
|
Sommario/riassunto |
|
With 14 chapters written by leading experts and educators, this book covers a range of topics from teaching philosophy and curriculum development to symbolic and algebraic manipulation and automated geometric reasoning, and to the design and implementation of educational software and integrated teaching and learning environments. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910136724303321 |
|
|
Autore |
عواد الأحمدي ، محمد بن |
|
|
Titolo |
عقد الرهن العقاري المسجل في الفقه الإسلامي والنظام السعودي والقانون المقارن |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Dubai : , : مركز الدراسات العربية للنشر والتوزيع, , 2016 |
|
©2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (885 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Intro -- مقدمة -- الفصل التمهيدي : مفهوم عقد الرهن، وأنواعه، وحقيقة الرهن العقاري المسجل،وأركانه، ومشروعيته، و تسجيله، وخصائصه، وتمييزه عما يشتبه بهفي الفقه الإسلامي والنظام السعودي -- الباب الأول : إنشاء عقد الرهن العقاري في الفقه الإسلامي والنظام السعودي -- الباب الثاني : آثار عقد الرهن العقاري المسجل، وانقضاؤه في الفقه الإسلامي والنظام السعودي -- الخاتمة -- فهرس المراجع -- فهرس الموضوعات. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
القانون المقارن | السعودية | العقود | الأحكام الشرعية | الرهونات | القوانين و اللوائح | الرهن العقاري الحيازي. |
|
|
|
|
|
|
|
| |