Логическая операция. Импликация двух высказы-ваний Р и Q – это новое высказывание (обозначается Р > Q, читается из Р следует Q), которое ложно только тогда, когда высказывание Р – истинно, а Q – ложно, во всех же остальных случаях – истинно.

Mantiqiy amal. Ikki R va Q mulohazaning implykat-siyasi – bu, R mulohaza chin, Q mulohaza yolg‘on bo‘lgandagina yolg‘on, qolgan barcha holat-larda chin bo‘ladigan yangi mulohazadir (R > Q deb belgilanadi, R dan Q kelib chiqadi deb o‘qiladi).

Мантиқий амал. Икки Р ва Q мулоҳазанинг импликацияси – бу, Р мулоҳаза чин, Q мулоҳаза ёлғон бўлгандагина ёлғон, қолган барча ҳолат-ларда чин бўладиган янги мулоҳазадир (Р > Q деб белгиланади, Р дан Q келиб чиқади деб ўқилади).

 implication

Программный объект, не изменяющийся в процессе выполнения. Используется при доказательствах правильности программ

invariant

Программный объект, не изменяющийся в процессе выполнения. Используется при доказательствах правильности программ

Bajarilish jarayonida o‘zgarmaydigan dasturiy obyekt. Dasturlarning to‘g‘riligini isbotlashda foydalaniladi.

Бажарилиш жараёнида ўзгармайдиган дастурий объект. Дастурларнинг тўғрилигини исботлашда фойдаланилади

invariant

Программный объект, не изменяющийся в процессе выполнения. Используется при доказательствах правильности программ

Bajarilish jarayonida o‘zgarmaydigan dasturiy obyekt. Dasturlarning to‘g‘riligini isbotlashda foydalaniladi.

Бажарилиш жараёнида ўзгармайдиган дастурий объект. Дастурларнинг тўғрилигини исботлашда фойдаланилади

invariant

Номер (или номера, если массив данных многомерный), добавляемый к имени массива, чтобы идентифицировать каждый элемент данного массива.

index

Номер (или номера, если массив данных многомерный), добавляемый к имени массива, чтобы идентифицировать каждый элемент данного массива.

Berilgan har bir massivning har bir elementini identifikatsiya qilish uchun massiv nomiga qo‘yiladigan raqam (yoki raqamlar, agar ma’lumotlar massivi ko‘p o‘lchamli bo‘lsa).

Берилган ҳар бир массивнинг ҳар бир элементини идентификация қилиш учун массив номига қўйиладиган рақам (ёки рақамлар, агар маълумотлар массиви кўп ўлчамли бўлса).

index

Номер (или номера, если массив данных многомерный), добавляемый к имени массива, чтобы идентифицировать каждый элемент данного массива.

Berilgan har bir massivning har bir elementini identifikatsiya qilish uchun massiv nomiga qo‘yiladigan raqam (yoki raqamlar, agar ma’lumotlar massivi ko‘p o‘lchamli bo‘lsa).

Берилган ҳар бир массивнинг ҳар бир элементини идентификация қилиш учун массив номига қўйиладиган рақам (ёки рақамлар, агар маълумотлар массиви кўп ўлчамли бўлса).

index

Процесс описания содержания документов и запросов в терминах информационно-поискового языка; назначение документу набора ключевых слов, отражающих его смысловое содержание.

indexing 

Процесс описания содержания документов и запросов в терминах информационно-поискового языка; назначение документу набора ключевых слов, отражающих его смысловое содержание.

Axborot – izlash tili atamalarida hujjatlar va so‘roqlar mazmunini tavsiflash jarayoni; hujjatga, uning ma’naviy mazmunini aks ettiradigan kalit so‘zlar to‘plamini belgilash.

Ахборот – излаш тили атамаларида ҳужжатлар ва сўроқлар мазмунини тавсифлаш жараёни; ҳуж-жатга, унинг маънавий мазмунини акс эттиради-ган калит сўзлар тўпламини белгилаш

indexing 

Процесс описания содержания документов и запросов в терминах информационно-поискового языка; назначение документу набора ключевых слов, отражающих его смысловое содержание.

Axborot – izlash tili atamalarida hujjatlar va so‘roqlar mazmunini tavsiflash jarayoni; hujjatga, uning ma’naviy mazmunini aks ettiradigan kalit so‘zlar to‘plamini belgilash.

Ахборот – излаш тили атамаларида ҳужжатлар ва сўроқлар мазмунини тавсифлаш жараёни; ҳуж-жатга, унинг маънавий мазмунини акс эттиради-ган калит сўзлар тўпламини белгилаш

indexing 

Процесс описания содержания документов и запросов в терминах информационно-поискового языка; назначение документу набора ключевых слов, отражающих его смысловое содержание

document indexing

Процесс описания содержания документов и запросов в терминах информационно-поискового языка; назначение документу набора ключевых слов, отражающих его смысловое содержание

Axborot-qidiruv tili atamalarida so‘rovlar va hujjat-lar mazmunini tavsiflash jarayoni; hujjatga, uning ma’naviy mazmunini aks ettiradigan asosiy so‘zlar to‘plamini belgilash.

Ахборот-қидирув тили атамаларида сўровлар ва ҳужжатлар мазмунини тавсифлаш жараёни; ҳуж-жатга, унинг маънавий мазмунини акс эттиради-ган асосий сўзлар тўпламини белгилаш

document indexing

Процесс описания содержания документов и запросов в терминах информационно-поискового языка; назначение документу набора ключевых слов, отражающих его смысловое содержание

Axborot-qidiruv tili atamalarida so‘rovlar va hujjat-lar mazmunini tavsiflash jarayoni; hujjatga, uning ma’naviy mazmunini aks ettiradigan asosiy so‘zlar to‘plamini belgilash.

Ахборот-қидирув тили атамаларида сўровлар ва ҳужжатлар мазмунини тавсифлаш жараёни; ҳуж-жатга, унинг маънавий мазмунини акс эттиради-ган асосий сўзлар тўпламини белгилаш

document indexing

Электронная схема со световой панелью для наг-лядного сообщения о состоянии устройства. Нап-ример, при включении на стандартной клавиатуре персонального компьютера режима больших букв загорается индикатор с надписью Caps Lock. Переменная, содержащая данные о состоянии устройства.

indicator

Электронная схема со световой панелью для наг-лядного сообщения о состоянии устройства. Нап-ример, при включении на стандартной клавиатуре персонального компьютера режима больших букв загорается индикатор с надписью Caps Lock. Переменная, содержащая данные о состоянии устройства.

Qurilmaning holati to‘g‘risida ko‘rgazmali xabar uchun yorug‘lik paneli bo‘lgan elektron sxema. Masalan, kompyuterning standart klaviaturasida katta harflar rejimi ulanganda, Caps Lock yozuvli indikator yonadi. Qurilmaning holati to‘g‘risidagi ma’lumotlarni ichiga oladigan o‘zgaruvchi.

Қурилманинг ҳолати тўғрисида кўргазмали хабар учун ёруғлик панели бўлган электрон схема. Масалан, компьютернинг стандарт клавиатурасида катта ҳарфлар режими уланганда, Caps Lock ёзув-ли индикатор ёнади. Қурилманинг ҳолати тўғрисидаги маълумотларни ичига оладиган ўзгарувчи. 

indicator

Электронная схема со световой панелью для наг-лядного сообщения о состоянии устройства. Нап-ример, при включении на стандартной клавиатуре персонального компьютера режима больших букв загорается индикатор с надписью Caps Lock. Переменная, содержащая данные о состоянии устройства.

Qurilmaning holati to‘g‘risida ko‘rgazmali xabar uchun yorug‘lik paneli bo‘lgan elektron sxema. Masalan, kompyuterning standart klaviaturasida katta harflar rejimi ulanganda, Caps Lock yozuvli indikator yonadi. Qurilmaning holati to‘g‘risidagi ma’lumotlarni ichiga oladigan o‘zgaruvchi.

Қурилманинг ҳолати тўғрисида кўргазмали хабар учун ёруғлик панели бўлган электрон схема. Масалан, компьютернинг стандарт клавиатурасида катта ҳарфлар режими уланганда, Caps Lock ёзув-ли индикатор ёнади. Қурилманинг ҳолати тўғрисидаги маълумотларни ичига оладиган ўзгарувчи. 

indicator

Операция присваивания программным переменным начальных значений

initialization

Операция присваивания программным переменным начальных значений

Dasturiy o‘zgaruvchilarga boshlang‘ich qiymatlar berish operatsiyasi.

Дастурий ўзгарувчиларга бошланғич қийматлар бериш операцияси

initialization

Операция присваивания программным переменным начальных значений

Dasturiy o‘zgaruvchilarga boshlang‘ich qiymatlar berish operatsiyasi.

Дастурий ўзгарувчиларга бошланғич қийматлар бериш операцияси

initialization

Объединение в элементе языка программирования, называемом объектом, данных и операций над ними. Понятие объектно-ориентированного программирования

incapsulation