প্রশ্ন ট্যাগ «pl.programming-languages»

প্রোগ্রামিং ভাষা বিশেষত তাদের শব্দার্থবিজ্ঞানের দিকে মনোনিবেশ করে।

7
টিসিএসে বিভাগ তত্ত্বের সলিড অ্যাপ্লিকেশন?
আমি বিভাগ তত্ত্বের কিছু বিট শিখছি। এটি অবশ্যই জিনিসগুলিকে দেখার একটি ভিন্ন উপায়। (যারা এটি দেখেনি তাদের জন্য খুব রুক্ষ সংক্ষিপ্তসার: বিভাগের তত্ত্বটি কেবলমাত্র বস্তুর মধ্যে কার্যকরী সম্পর্কের ক্ষেত্রে সমস্ত ধরণের গাণিতিক আচরণের প্রকাশের উপায় দেয় For উদাহরণস্বরূপ, দুটি সেটের কার্টেসিয়ান পণ্যের মতো জিনিসগুলি সম্পূর্ণরূপে সংজ্ঞায়িত হয় অন্যান্য ক্রিয়াকলাপগুলি কীভাবে …
7
টিসিএসে কোন আকর্ষণীয় উপপাদাগুলি পছন্দের অক্ষর উপর নির্ভর করে? (অথবা বিকল্পভাবে, নির্ধারণের অক্ষ?)
গণিতবিদরা কখনও কখনও অ্যাক্সিয়াম অফ চয়েস (এসি) এবং নির্ধারিত অক্ষের অক্ষর (AD) সম্পর্কে উদ্বেগ প্রকাশ করেন। চয়েস এর সবর্জনবিদিত : প্রদত্ত যেকোন সংগ্রহে nonempty সেট, একটি ফাংশন চ করে একটি সেট দেওয়া এস এ সি , একজন সদস্য ফেরৎ এস ।CC{\cal C}fffSSSCC{\cal C}SSS নির্ধারণের অক্ষ : আসুন লম্বা বিট স্ট্রিংগুলির …
12
অপরিহার্য প্রোগ্রামিং এর তাত্ত্বিক ভিত্তি কী?
লাম্বদা ক্যালকুলাস এবং সংমিশ্রিত যুক্তিতে কার্যকরী প্রোগ্রামিংয়ের একটি তাত্ত্বিক ভিত্তি রয়েছে । স্ট্যাটিস্টিকাল কম্পিউটিংয়ের সাথে যুক্ত কেউ হিসাবে, আমি এই ধারণাগুলি মডেলিংয়ের জন্য খুব দরকারী বলে মনে করি। অত্যাবশ্যক প্রোগ্রামিং এর সমান গাণিতিক ভিত্তি আছে , বা এটি কেবল মেশিন ল্যাঙ্গুয়েজে ব্যবহারিক হার্ডওয়্যার অ্যাপ্লিকেশন এবং ফরটারনের পরবর্তী বিকাশের ফলে বৃদ্ধি …
7
ডায়নোটেশনাল শব্দার্থবিজ্ঞানের গঠন কী?
একটি ভিন্ন থ্রেডে , আন্দ্রেজ বাউর ডোনোটেশনাল শব্দার্থকে সংজ্ঞায়িত করেছেন: একটি প্রোগ্রামের অর্থ হল এর অংশগুলির অর্থের একটি ক্রিয়া। আমাকে এই সংজ্ঞাটি সম্পর্কে বিরক্ত করার কারণ এটি হ'ল সাধারণত যেটিকে নন-ডায়নোটেশনাল শব্দার্থক হিসাবে বলা হয় যা স্ট্রাকচারাল অপারেশনাল শব্দার্থক হিসাবে সাধারণত ভাবা হয় তার থেকে একটিকে বোঝায় না । আরো …
7
লম্বা ক্যালকুলাস ব্যবহার করে সময় জটিলতা অর্জন করতে চান?
ল্যাম্বদা ক্যালকুলাস ব্যবহার করে অ্যালগরিদমের সময়ের জটিলতা গণনা করার কোনও সুবিধা আছে কি? অথবা এই উদ্দেশ্যে আরও একটি সিস্টেম নকশা করা হয়েছে? কোন রেফারেন্স প্রশংসা করা হবে।
7
সম্ভবত সঠিক প্রোগ্রাম সম্পর্কে আমরা কী জানি?
কম্পিউটার প্রোগ্রামগুলির ক্রমবর্ধমান জটিলতা এবং ক্রমবর্ধমান গুরুত্বপূর্ণ অবস্থানের কম্পিউটারগুলি আমাদের সমাজে আমাকে ভাবতে থাকে যে আমরা এখনও কেন সম্মিলিতভাবে প্রোগ্রামিং ভাষাগুলি ব্যবহার করি না যেখানে আপনার কোডটি সঠিকভাবে কাজ করে সে সম্পর্কে আপনাকে একটি প্রথাগত প্রমাণ দিতে হবে। আমি বিশ্বাস করি যে শব্দটি একটি 'শংসাপত্র সংকলক' (আমি এটি এখানে পেয়েছি …
6
নিয়মিত প্রকাশ হয় না
এমনকি কম্পিউটার বিজ্ঞানের একটি পটভূমি সহ এমন কাউকে জিজ্ঞাসা করুন যে নিয়মিত প্রকাশ কী, এবং উত্তরটি সীমাবদ্ধ-রাষ্ট্র অটোমেটনের নাগালের বাইরে যাওয়ার সীমাবদ্ধতার বাইরে চলে যেতে পারে। উদাহরণস্বরূপ, "নিয়মিত প্রকাশ" /^1?$|^(11+?)\1+$/ উল্লিখিত পার্ল ব্যক্তিত্বের দ্বারা নির্মিত অ্যাবিগাইল (এবং পার্লের পরীক্ষার স্যুট অংশটি ২০০২ সাল থেকে) এমন একটি মেশিনের বর্ণনা করেছে যা …
8
উচ্চতর অর্ডার অ্যালগরিদম
বেশিরভাগ সুপরিচিত অ্যালগরিদমগুলি প্রথম অর্ডার হয়, এই অর্থে যে তাদের ইনপুট এবং আউটপুটটি "প্লেইন" ডেটা। কিছু তুচ্ছ পদ্ধতিতে দ্বিতীয়-ক্রম হয়, উদাহরণস্বরূপ বাছাই, হ্যাশ টেবিল বা মানচিত্র এবং ভাঁজ ফাংশন: এগুলি কোনও ফাংশন দ্বারা প্যারামিটারাইজড হয়, তবে অন্যান্য ইনপুট ডেটার টুকরোয় এটি আহবান করা ছাড়া এগুলি সত্যই আকর্ষণীয় কিছু করে না। …
3
ক্লাস বনাম বস্তু ইন্টারফেস টাইপ করুন
আমি মনে করি না আমি টাইপ ক্লাস বুঝি। আমি কোথাও পড়তাম যে "ইন্টারফেস" (ওও থেকে) হিসাবে টাইপ শ্রেণীর চিন্তাভাবনা যে কোনও ধরণের প্রয়োগগুলি ভুল এবং বিভ্রান্তিমূলক। সমস্যাটি হ'ল, আমি এগুলিকে অন্যরকম কিছু হিসাবে দেখতে সমস্যা এবং কীভাবে এটি ভুল। উদাহরণস্বরূপ, আমার যদি টাইপ ক্লাস থাকে (হাস্কেল সিনট্যাক্সে) class Functor f …
4
প্রোগ্রামিং ল্যাঙ্গুয়েজ থিওরিতে গবেষণা এবং উন্মুক্ত চ্যালেঞ্জ
মত কিছু সাধারণ আলোচনার আত্মা এই এক, আমি মতামত জড়ো করা উদ্দেশ্য এই থ্রেড খোলার করছি কি প্রোগ্রামিং ভাষার খোলা চ্যালেঞ্জ ও গবেষণা গরম বিষয় নেই । আমি আশা করি যে আলোচনার ফলে প্রোগ্রামিং ভাষাগুলিতে গবেষণার ভবিষ্যত সম্পর্কে পৃষ্ঠপোষকতাও আসতে পারে। আমি বিশ্বাস করি যে এই জাতীয় আলোচনাটি নতুন শিক্ষার্থী …
5
দক্ষ গণনার জন্য প্রোগ্রামিং ভাষা
এমন প্রোগ্রামিং ল্যাঙ্গুয়েজ লেখা অসম্ভব যা সমস্ত মেশিনগুলিকে অনুমতি দেয় যা সমস্ত ইনপুটগুলিতে থামে এবং অন্য কেউ নয়। যাইহোক, মনে হয় যে কোনও স্ট্যান্ডার্ড জটিলতা শ্রেণীর জন্য এই জাতীয় প্রোগ্রামিং ভাষার সংজ্ঞা দেওয়া সহজ। বিশেষত, আমরা একটি ভাষা নির্ধারণ করতে পারি যেখানে আমরা সমস্ত দক্ষ গণনা এবং কেবল দক্ষ গণনা …
4
চুক্তি এবং নির্ভর টাইপিংয়ের মধ্যে সম্পর্ক
আমি নির্ভরশীল প্রকার এবং প্রোগ্রামিং চুক্তিতে কিছু নিবন্ধ পড়ছি। আমি যা পড়েছি তার বেশিরভাগ অংশ থেকে মনে হয় চুক্তিগুলি গতিশীলভাবে সীমাবদ্ধতাগুলি পরীক্ষা করা হয় এবং নির্ভরশীল প্রকারগুলি স্থিতিকরভাবে চেক করা হয়। কিছু কাগজপত্র রয়েছে যা আমাকে মনে করেছে যে আংশিকভাবে স্থিতিশীলভাবে চেক করা চুক্তিগুলি সম্ভব: হাইব্রিড প্রকারের চেকিং (সি। ফ্লানাগান …
7
প্রোগ্রামিং ভাষার শব্দার্থবিদ্যার উপর বই
আমি নীলসন এবং নীলসনের " অ্যাপ্লিকেশন সহ শব্দার্থবিদ্যা " পড়ছি , এবং আমি বিষয়টি সত্যই পছন্দ করি। আমি প্রোগ্রামিং ভাষার শব্দার্থবিজ্ঞানের বিষয়ে আরও একটি বই রাখতে চাই - তবে আমি সত্যিই কেবল একটি বই পেতে পারি। আমি তুরবাক / জিফফোর্ড বইটি দেখেছি , তবে এটি খুব দীর্ঘায়িত; আমি ভিনসেল ভাল …
1
ক্যানোনিকাল ফাংশন সহ প্রোগ্রামিং ল্যাঙ্গুয়েজ
এমন কোন (কার্যকরী?) প্রোগ্রামিং ভাষা রয়েছে যেখানে সমস্ত ফাংশনগুলির একটি প্রচলিত ফর্ম রয়েছে? এটি হ'ল যে কোনও দুটি ফাংশন যা সমস্ত সেট ইনপুটগুলির জন্য একই মানগুলি প্রত্যাবর্তন করে একই উপায়ে উপস্থাপন করা হয়, যেমন f (x) x + 1 এবং g (x) x + 2 ফিরে আসে তবে f (f …
4
যৌক্তিক সম্পর্ক এবং সিমুলেশনগুলির মধ্যে পার্থক্য কী?
আমি প্রোগ্রামের সমতা প্রমাণ করার পদ্ধতিগুলিতে কাজ করা একটি শিক্ষানবিস। যৌক্তিক সম্পর্ক বা দুটি প্রোগ্রাম সমতুল্য প্রমাণ করার জন্য সিমুলেশন সংজ্ঞায়নের বিষয়ে আমি কয়েকটি কাগজপত্র পড়েছি। তবে এই দুটি কৌশল সম্পর্কে আমি বেশ বিভ্রান্ত। আমি কেবল জানি যৌক্তিক সম্পর্কগুলি ইন্ডাকটিভલીভাবে সংজ্ঞায়িত করা হয় যখন সিমুলেশনগুলি সিন্ডকশন ভিত্তিক হয়। কেন তারা …
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.