The power of the depth of iteration in de{uFB01}ning relations by induction / (Record no. 50989)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02757cam a2200337 a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | EG-GiCUC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250223031230.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 150521s2014 ua f m 000 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | EG-GiCUC |
| Language of cataloging | eng |
| Transcribing agency | EG-GiCUC |
| 041 0# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | Deposite |
| 097 ## - Thesis Degree | |
| Thesis Level | M.Sc |
| 099 ## - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | Cai01.12.17.M.Sc.2014.ِAm.P |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Amena Assem Abdalqader Mahmoud |
| 245 14 - TITLE STATEMENT | |
| Title | The power of the depth of iteration in de{uFB01}ning relations by induction / |
| Statement of responsibility, etc. | Amena Assem Abdalqader Mahmoud ; Supervised Ford Georgy , Wa{uFB01}k Boulos Lotfallah |
| 246 15 - VARYING FORM OF TITLE | |
| Title proper/short title | قوة عمق التكرار فى تعريف العلاقات بالاستقراء |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Cairo : |
| Name of publisher, distributor, etc. | Amena Assem Abdalqader Mahmoud , |
| Date of publication, distribution, etc. | 2014 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 84 P. ; |
| Dimensions | 25cm |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (M.Sc.) - Cairo University - Faculty of Science - Department of Mathematics |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | The thesis consists of three chapters. In the {uFB01}rst chapter we introduce preliminary de{uFB01}nitions and facts we need from logic and complexity. The last section is on complexity, and the {uFB01}rst section is for extra notations that are not established within the de{uFB01}nitions of the thesis. The middle three sections are about {uFB01}nite structures, {uFB01}rst-order logic and its {uFB01}xed- point extensions, the Ehrenfeucht-Fraïssé game and its importance proving non-expressibility results. Particularly, at the end of the third section, we mention an exam- ple from [2] using the algebraic version of the game in proving non- expressibility of connectivity in {uFB01}rst-order logic, and then, in the fourth section, we present {uFB01}xed-point extensions of {uFB01}rst-order logic in which con- nectivity is expressible, or in fact, in which the path relation, which is transitive closure of the edge relation, in graphs, and transitive closure general, and more complicated kinds of recursion, are expressible. The second section is devoted to {uFB01}nite structures, especially, graphs and binary strings. We deal here with {uFB01}nite structures only because objects computers have and hold are always {uFB01}nite. Inputs, databases, programs are all {uFB01}nite objects that can be conveniently modeled as nite logical structures. Binary strings are important because every {uFB01}nite ordered structure can be coded as a binary string, and this is how the structure is introduced as an input to the Turing machine. |
| 530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE | |
| Additional physical form available note | Issued also as CD |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Depth |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Finite Variable Logics |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Fixed-Point |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Ford Georgy , |
| Relator term | |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Wa{uFB01}k Boulos Lotfallah , |
| Relator term | |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="http://172.23.153.220/th.pdf">http://172.23.153.220/th.pdf</a> |
| 905 ## - LOCAL DATA ELEMENT E, LDE (RLIN) | |
| Cataloger | Nazla |
| Reviser | Revisor |
| 905 ## - LOCAL DATA ELEMENT E, LDE (RLIN) | |
| Cataloger | Soheir |
| Reviser | Cataloger |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Thesis |
| Source of classification or shelving scheme | Not for loan | Home library | Current library | Date acquired | Full call number | Barcode | Date last seen | Koha item type | Copy number |
|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | المكتبة المركزبة الجديدة - جامعة القاهرة | قاعة الرسائل الجامعية - الدور الاول | 11.02.2024 | Cai01.12.17.M.Sc.2014.ِAm.P | 01010110065624000 | 22.09.2023 | Thesis | ||
| Dewey Decimal Classification | المكتبة المركزبة الجديدة - جامعة القاهرة | مخـــزن الرســائل الجـــامعية - البدروم | 11.02.2024 | Cai01.12.17.M.Sc.2014.ِAm.P | 01020110065624000 | 22.09.2023 | CD - Rom | 65624.CD |