گودل ممکن است به یکی از موارد زیر اشاره داشته باشد:
کورت گودل : ریاضی دان اتریشی
براین گودل : شناگر آمریکایی
گودل (ارومیه):روستایی از توابع شهرستان ارومیه
گودل، آیووا:شهری در ایالت آیووا، ایالات متحده آمریکا
گودل (زبان برنامه نویسی)
گودل ۳۳۶۶:سیارک کشف شده در سال 1985
کورت گودل : ریاضی دان اتریشی
براین گودل : شناگر آمریکایی
گودل (ارومیه):روستایی از توابع شهرستان ارومیه
گودل، آیووا:شهری در ایالت آیووا، ایالات متحده آمریکا
گودل (زبان برنامه نویسی)
گودل ۳۳۶۶:سیارک کشف شده در سال 1985
wiki: گو دل
گودل (ارومیه). مختصات: ۳۷°۵۰′۰۹″شمالی ۴۴°۳۰′۵۷″شرقی / ۳۷٫۸۳۵۹۱۹۴۴۴۴۴۴۴°شمالی ۴۴٫۵۱۵۸۶۹۴۴۴۴۴۴۴°شرقی / 37.8359194444444; 44.5158694444444
گودل (ارومیه)، روستایی از توابع بخش صومای برادوست شهرستان ارومیه در استان آذربایجان غربی ایران است.
این روستا در دهستان صومای جنوبی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۹۹ نفر (۱۸خانوار) بوده است.
گودل (ارومیه)، روستایی از توابع بخش صومای برادوست شهرستان ارومیه در استان آذربایجان غربی ایران است.
این روستا در دهستان صومای جنوبی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۹۹ نفر (۱۸خانوار) بوده است.
wiki: گودل (ارومیه)
گودل (زبان برنامه نویسی). زبان برنامه نویسی گودل از نوع برنامه نویسی اعلانی است. این زبان یک زبان همه منظوره است که شیوه های برنامه نویسی آن به صورت برنامه نویسی منطقی است. وابستگی این زبان به تایپ بسیار کم است. نام گذاری ان به خاطر منطقدان بزرگ کورت گودل است.
گودل شامل ویژگی های زیر می باشد:
گودل یک فرامنطق است که امکانات پشتیبانی از فرابرنامه نویسی را فراهم می کند تا بتوان کارهای تجزیه و تحلیل، تحول، تدوین، تأیید و اشکال زدایی را در میان کارهای دیگر را انجام دهد.
مدل گودل زیر، مقسوم علیه مشترک دو عدد را بدست می آورد. این کد برای نشان دادن کد گودل است نه این که به صورت بهینه مقسوم علیه مشترک را بدست آورد. خروجی CommonDivisor می گوید که اگر i و j صفر نباشد d مقسوم علیه آن دو است اگر مقدارش بین 1 و مینیمم مقدار i و j و i/j و j/i باشد. خروجی Gcd می گوید که d بزرگترین مقسوم علیه مشترک i و j است در صورتی که مقصوم علیه i و j باشد و eای وجود نداشته باشد که مقسوم علیه مشترک i و j باشد و از d بزرگتر باشد.
گودل شامل ویژگی های زیر می باشد:
گودل یک فرامنطق است که امکانات پشتیبانی از فرابرنامه نویسی را فراهم می کند تا بتوان کارهای تجزیه و تحلیل، تحول، تدوین، تأیید و اشکال زدایی را در میان کارهای دیگر را انجام دهد.
مدل گودل زیر، مقسوم علیه مشترک دو عدد را بدست می آورد. این کد برای نشان دادن کد گودل است نه این که به صورت بهینه مقسوم علیه مشترک را بدست آورد. خروجی CommonDivisor می گوید که اگر i و j صفر نباشد d مقسوم علیه آن دو است اگر مقدارش بین 1 و مینیمم مقدار i و j و i/j و j/i باشد. خروجی Gcd می گوید که d بزرگترین مقسوم علیه مشترک i و j است در صورتی که مقصوم علیه i و j باشد و eای وجود نداشته باشد که مقسوم علیه مشترک i و j باشد و از d بزرگتر باشد.
wiki: گودل (زبان برنامه نویسی)
گودل (نیک شهر). گودل (نیک شهر)، روستایی از توابع بخش بنت شهرستان نیک شهر در استان سیستان و بلوچستان ایران است.
این روستا در دهستان توتان و مهمدان قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۷ نفر (۴خانوار) بوده است.
این روستا در دهستان توتان و مهمدان قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۷ نفر (۴خانوار) بوده است.
wiki: گودل (نیک شهر)