Program Yazmak – Bilgisayar Bilimleri Ödevleri – Bilgisayar Bilimleri Ödev Hazırlatma – Bilgisayar Bilimleri Alanında Tez Yazdırma – Bilgisayar Bilimleri Ödev Yaptırma Fiyatları
Program Yazmak
Bu yazımızda, program yazmak için bir gösterim sunuyoruz. Sadece kısa bir giriş yapmak için Pascal ve C’ye yeterince benzer, bu nedenle böyle bir dilde yazılmış bir programın getirdiği etkileri açıklamaya odaklanıyoruz. Bir Pascal programı örneği ile başlayalım.
Belirli bir a girişi için program neyi hesaplar? Girilen a’nın bir doğal sayı olduğu verilsin. a < 3 ise, döngüyü koruyan koşul yanlış olduğu için hesaplama oldukça kolaydır. Daha büyük sayılara ne dersiniz? Bazı daha büyük giriş değerleri için programın yürütülmesini izlemek aşağıdaki tabloya yol açar.
Üç örneğin her birinde, çıktı, girdi numarasının 3’e bölümünün bölümü ve kalanı olan iki sayıdan oluşur. Bunun her bir olası girdi için geçerli olduğuna kendimizi ikna etmenin her birini tek tek kontrol etmekten başka bir yolu var mı? (ve bir sürü doğal sayı var)
Bildiğim tek etkili yol, tüm ara değerlerin “iyi” bir karakterizasyonunu bulmaktır. Kabul edilen ara değerlerin sayısından, yani tablodaki satır sayısından bağımsız bir doğruluk argümanını kabul etmesi anlamında iyi olmalıdır. Karakterizasyon, q ve r değişkenlerinin değerleri ile giriş değeri a arasındaki bir ilişkidir.
Bu ilişkinin değişkenler tarafından sağlanan tüm değerler için geçerli olduğunu nasıl kanıtlayacağız? Bunun değişmez bir ilişki olduğunu mu? İspat, matematiksel tümevarım yoluyla bir ispata benzer: ilişkinin başlangıçta geçerli olduğunu (yani, q := 0; r := a + 1’in yürütülmesi yoluyla kurulduğunu) ve döngünün sonraki her yürütmesinin ilişki. İkincisini ispatlarken, döngü gövdesinin yalnızca döngüyü koruyan koşul doğruysa gerçekleştirildiği gerçeğinden yararlanabiliriz.
Bu iki koşul sırasıyla ifadenin ön koşulu ve son koşulu olarak adlandırılır. Standart argüman, bunun önemsiz olduğu yönündedir. Bununla birlikte, biraz daha ikna edici bir argüman memnuniyetle karşılanacaktır.
Birazdan tartışacağımız gibi, argüman, önkoşulun, assignment deyimleri tarafından öngörülen ikamelerin sağdan sola sırayla gerçekleştirildiği sonkoşu ima etmesi olmalıdır. (Bu sıralama biraz şaşırtıcı gelebilir)
Böylece, önkoşulu alıyoruz, onda r’nin her geçtiği yeri r div 4 + r mod 4 ile değiştiriyoruz, sonra bunun sonucundaki her q’yu q + r div 4 ile değiştiriyoruz ve sonucun önkoşul tarafından ima edildiğini gösteriyoruz. . (Unutmayın ki div ve mod, çarpma kadar güçlüdür, dolayısıyla toplamadan daha güçlüdür.) E’de x yerine F’nin ikamesi E;, olarak yazılır. Sembol {:: “takip edenleri” ifade eder ve “ima eden”i ifade eden => ikilisidir.
Son satırın ilk satırı ima ettiğini kanıtlamak için, dilbilgisi durumunda bir türetme dizisini görüntülemek için kullandığımız formatın aynısını kullandık. Mevcut durumda, çizgileri eşitlik işaretleri ve ima işaretleri ile birleştirdik.
Çıkarımlar “yanlış yol” idi: son satır, tersi yerine bir önceki satırı ima ediyor. Elbette son satırdan başlayıp ilk satıra kadar ilerleyebilirdik. O zaman ilk adım, geleneksel olmayan “takip edenlerden” ziyade geleneksel bir çıkarım olurdu.
Bilgisayar program yazma
Kod yazma sitesi
Basit Program yazma
Program yazma programları
Basit kod yazma
Kod Yazma programı PC
Program yazma aşamaları
Kod yazma programı
Örnekte “takip eden” kullanmanın avantajı, yukarıdan aşağıya okurken adımların büyük bir sürpriz olarak gelmemesidir. Sürprizlere başvurmaktansa her iki yönde de sonuçlara sahip olmak daha iyidir.
Programın a’yı 3’e bölmenin hem bölümünü hem de kalanını hesapladığı sonucuna nasıl varabiliriz? Döngüyü koruyan koşul yanlış olduğunda, yani r < 4 olduğunda döngünün sona erdiğini biliyoruz.
Çıktı q ve r – 1’den oluşur ve önceki formül bunların gerekli bölüm ve kalan olduğunu ifade eder.
Bu programımızın ispatını tamamlar. Yoksa öyle mi? Döngü sonlanırsa bölüm ve kalanın yazdırıldığını göstermiştik. Bununla birlikte, döngünün sona erdiğini ve sonsuza kadar dönebileceğini göstermedik. Sonlandırmayı göstermek için, henüz gerçekleştirilecek yinelemelerin sayısında bir üst sınır olan program değişkenleri üzerinde bir tamsayı işlevi olan sınır işlevi adı verilen bir cihaz kullanıyoruz. (Tam yineleme sayısını varsaymak genellikle çok zordur veya açıkça imkansızdır – bir üst sınır yeterli olacaktır.)
Bu yorumun mantıklı olması için, döngünün her yinelemesinin sınır işlevini (bir tamsayı olduğu için en az bir sayı) azaltması gerektiği ve döngü azalmadığı sürece sınır işlevinin pozitif olduğu açık olmalıdır. sonlandırılmış.
Örneğimizde, bağlı işlevi r olarak alıyoruz. Döngü devam ettiği sürece r’nin pozitif olduğunu ve her iterasyonda r’nin azaldığını göstermeliyiz. q ve r hakkındaki bilgimizi, değişmez bağıntıda ve döngüyü koruyan koşulda somutlaştığı şekliyle, bu ispatlarda iyi bir avantaj sağlamak için kullanırız.
Bu arada “döngü sonlanır” terminolojisini kullanmakla bir bakıma özensiz davranmış oldum. Tabii ki döngü de bitiyor. Sadece üç satırlık bir döngü ve sonunda iki meydana gelen sembolle sonlanıyor. while sembolünün altındaki satırlar.Demek istediğim, döngünün yürütülmesinin sona ermesiydi.Özensiz terminolojiye bağlı kalacağım.
Basit İfadeler
Program notasyonumuzdaki ifadelerin anlamını veya semantiğini açıklamak için aşağıdaki gösterimi kullanırız: { P } S { Q }. Hem P hem de Q koşullardır ve S bir ifadedir; P’ye ön koşul ve Q’ya son koşul denir. Koşul için yüklem terimini de kullanacağız.
{ P } S { Q } ile, eğer S ifadesi yürütülürse, P’yi karşılayan bir başlangıç durumundan başlayarak yürütmenin sona ermesinin garanti edildiğini ve nihai durumun Q’yu karşılayacağını kastediyoruz.
{ P } S { Q } yapısı Hoare üçlüsü olarak adlandırılır. Bu bir boole özelliğidir: true veya false olan bir özellik. Operasyonel tanımdan, eğer { P } S { Q } doğruysa, o zaman { P’ } S { Q’ }’nin de doğru olduğu açıktır, burada P’ P’den daha güçlüdür (yani, P’ => P ) ve burada Q’, Q’dan daha zayıftır (yani, Q => Q’ ). Buna genellikle ön koşulu güçlendirebileceğimizi ve son koşulu zayıflatabileceğimizi söyleyerek atıfta bulunuruz.
Bir önkoşul verildiğinde, özellikle en zayıf önkoşulla ilgileniyoruz. Benzer şekilde, bir önkoşul verildiğinde, özellikle en güçlü önkoşulla ilgileniyoruz. (Doğrusu söylemek gerekirse, P’nin P’den daha güçlü olduğunu söylemememiz gerekirdi.
Basit kod yazma Basit Program yazma Bilgisayar program yazma Kod yazma programı Kod Yazma programı PC Kod yazma sitesi Program yazma aşamaları Program yazma programları