The connection between computability and de nability is one of the main themes in computable mode... more The connection between computability and de nability is one of the main themes in computable model theory. A decidable theory has a decidable model, that is, a model with a decidable elementary diagram. On the other hand, in a computable model only the atomic diagram must be decidable. For some nonisomorphic structures that are elementarily equivalent, we can use computable (in nitary) sentences to describe different structures. In general, if two computable structures satisfy the same computable sentences, then they are isomorphic. Roughly speaking, computable formulas are L!1!-formulas with disjunctions and conjunctions over computably enumerable index sets. Let > 0 be a computable ordinal. A computable ( , resp.) formula is a computably enumerable disjunction (conjunction, resp.) of formulas 9u (x; u) (8u (x; u), resp.) where is computable ( , resp.) for some < . A computable 0 or 0 formula is a nitary quanti er-free formula. To show that our Harizanov was partially suppor...
trình phoû ng vaá n. 2.3. Thieá t keá nghieâ n cöù u: Moâ taû caé t ngang 2.4. Côõ maã u vaø caù ... more trình phoû ng vaá n. 2.3. Thieá t keá nghieâ n cöù u: Moâ taû caé t ngang 2.4. Côõ maã u vaø caù ch choï n maã u 2.4.1. Côõ maã u Söû duï ng coâ ng thöù c tính côõ maã u cho moä t tyû leä ñeå xaù c ñònh soá hoä gia ñình coù baø meï coù con döôù i 5 tuoå i: Vôù i Z = 1,96 (öù ng vôù i = 0,05), p = 0,37 [3], = 0,14 tính ñöôï c N = 334. Döï phoø ng khoaû ng 20% ñoá i töôï ng töø choá i traû lôø i, cuoá i cuø ng côõ maã u laø 409 hoä gia ñình coù con döôù i 5 tuoå i. 2.4.2. Caù ch choï n maã u: Choï n maã u nhieà u giai ñoaï n Giai ñoaï n 1: moã i mieà n choï n ngaã u nhieâ n 1 taenh: Hoø a Bình-mieà n Baé c, Haø Tónh-Mieà n Trung vaø Kieâ n Giang-Mieà m Nam; Giai ñoaï n 2: moã i taenh choï n ngaã u nhieâ n 3 xaõ bao goà m xaõ noâ ng thoâ n, thaø nh thò (thò traá n/phöôø ng) vaø khoù khaê n (mieà n nuù i/haû i ñaû o): toå ng 9 xaõ ; Giai ñoaï n 3: moã i xaõ choï n 46 hoä gia ñình coù con döôù i 5 tuoå i, choï n ngaã u nhieâ n hoä gia ñình ñaà u tieâ u, sau ñoù löï a choï n caù c hoä gia ñình tieá p theo, theo phöông phaù p laø "coå ng lieà n coå ng". 2.5. Phöông phaù p, kyõ thuaä t thu thaä p soá lieä u Boä coâ ng cuï : Phieá u phoû ng vaá n ñöôï c xaâ y döï ng vaø chaenh söû a sau khi coù thöû nghieä m taï i Thaï ch Thaá t, Haø Noä i. Phöông phaù p thu thaä p soá lieä u: Ñieà u tra vieâ n phoû ng vaá n tröï c tieá p caù c baø meï coù con döôù i 5 tuoå i. Sai soá vaø khoá ng cheá sai soá : Sai soá do ngöôø i cung caá p thoâ ng tin boû soù t hoaë c coá tình sai thöï c teá , ñeå haï n cheá sai soá , ñieà u tra vieâ n ñöôï c taä p huaá n kyõ , coù kinh nghieä m trong giao tieá p. Sau khi keá t thuù c phoû ng vaá n, ñieà u tra vieâ n kieå m tra laï i phieá u ngay ñeå khoâ ng boû soù t thoâ ng tin. Giaù m saù t vieâ n kieå m tra phieá u khi keá t thuù c ñeå kòp thôø i phaù t hieä n sai soá vaø boå sung kòp thôø i. 2.6. Xöû lyù vaø phaâ n tích soá lieä u: Soá lieä u ñònh löôï ng
The connection between computability and de nability is one of the main themes in computable mode... more The connection between computability and de nability is one of the main themes in computable model theory. A decidable theory has a decidable model, that is, a model with a decidable elementary diagram. On the other hand, in a computable model only the atomic diagram must be decidable. For some nonisomorphic structures that are elementarily equivalent, we can use computable (in nitary) sentences to describe different structures. In general, if two computable structures satisfy the same computable sentences, then they are isomorphic. Roughly speaking, computable formulas are L!1!-formulas with disjunctions and conjunctions over computably enumerable index sets. Let > 0 be a computable ordinal. A computable ( , resp.) formula is a computably enumerable disjunction (conjunction, resp.) of formulas 9u (x; u) (8u (x; u), resp.) where is computable ( , resp.) for some < . A computable 0 or 0 formula is a nitary quanti er-free formula. To show that our Harizanov was partially suppor...
trình phoû ng vaá n. 2.3. Thieá t keá nghieâ n cöù u: Moâ taû caé t ngang 2.4. Côõ maã u vaø caù ... more trình phoû ng vaá n. 2.3. Thieá t keá nghieâ n cöù u: Moâ taû caé t ngang 2.4. Côõ maã u vaø caù ch choï n maã u 2.4.1. Côõ maã u Söû duï ng coâ ng thöù c tính côõ maã u cho moä t tyû leä ñeå xaù c ñònh soá hoä gia ñình coù baø meï coù con döôù i 5 tuoå i: Vôù i Z = 1,96 (öù ng vôù i = 0,05), p = 0,37 [3], = 0,14 tính ñöôï c N = 334. Döï phoø ng khoaû ng 20% ñoá i töôï ng töø choá i traû lôø i, cuoá i cuø ng côõ maã u laø 409 hoä gia ñình coù con döôù i 5 tuoå i. 2.4.2. Caù ch choï n maã u: Choï n maã u nhieà u giai ñoaï n Giai ñoaï n 1: moã i mieà n choï n ngaã u nhieâ n 1 taenh: Hoø a Bình-mieà n Baé c, Haø Tónh-Mieà n Trung vaø Kieâ n Giang-Mieà m Nam; Giai ñoaï n 2: moã i taenh choï n ngaã u nhieâ n 3 xaõ bao goà m xaõ noâ ng thoâ n, thaø nh thò (thò traá n/phöôø ng) vaø khoù khaê n (mieà n nuù i/haû i ñaû o): toå ng 9 xaõ ; Giai ñoaï n 3: moã i xaõ choï n 46 hoä gia ñình coù con döôù i 5 tuoå i, choï n ngaã u nhieâ n hoä gia ñình ñaà u tieâ u, sau ñoù löï a choï n caù c hoä gia ñình tieá p theo, theo phöông phaù p laø "coå ng lieà n coå ng". 2.5. Phöông phaù p, kyõ thuaä t thu thaä p soá lieä u Boä coâ ng cuï : Phieá u phoû ng vaá n ñöôï c xaâ y döï ng vaø chaenh söû a sau khi coù thöû nghieä m taï i Thaï ch Thaá t, Haø Noä i. Phöông phaù p thu thaä p soá lieä u: Ñieà u tra vieâ n phoû ng vaá n tröï c tieá p caù c baø meï coù con döôù i 5 tuoå i. Sai soá vaø khoá ng cheá sai soá : Sai soá do ngöôø i cung caá p thoâ ng tin boû soù t hoaë c coá tình sai thöï c teá , ñeå haï n cheá sai soá , ñieà u tra vieâ n ñöôï c taä p huaá n kyõ , coù kinh nghieä m trong giao tieá p. Sau khi keá t thuù c phoû ng vaá n, ñieà u tra vieâ n kieå m tra laï i phieá u ngay ñeå khoâ ng boû soù t thoâ ng tin. Giaù m saù t vieâ n kieå m tra phieá u khi keá t thuù c ñeå kòp thôø i phaù t hieä n sai soá vaø boå sung kòp thôø i. 2.6. Xöû lyù vaø phaâ n tích soá lieä u: Soá lieä u ñònh löôï ng
Uploads
Papers by Trang Ha