Υπολογίσιμη συνάρτηση oor Spaans

Υπολογίσιμη συνάρτηση

Vertalings in die woordeboek Grieks - Spaans

Función computable

voorbeelde

Πριν τον ακριβή ορισμό της υπολογίσιμης συνάρτησης, οι μαθηματικοί συχνά χρησιμοποιούσαν τον άτυπο όρο αποτελεσματικά υπολογίσιμη.
Antes de la definición precisa de una función computable los matemáticos usaban el término informal efectivamente computable.

Στην θεωρία υπολογιστικής πολυπλοκότητας, το πρόβλημα προσδιορισμού της πολυπλοκότητας μίας υπολογίσιμης συνάρτηση είναι γνωστό ως συναρτησιακό πρόβλημα.
En teoría de la complejidad computacional, el problema de determinar la complejidad de una función computable es conocido como un problema de funciones.

Τα αξιώματα Μπλουμ μπορούν να χρησιμοποιηθούν για να ορίσουμε μια αφηρημένη θεωρία υπολογιστικής πολυπλοκότητας για το σύνολο των υπολογίσιμων συναρτήσεων.
Los axiomas de Blum pueden ser usados para definir una teoría de complejidad computacional abstracta sobre el conjunto de funciones computables.

Ο λογισμός λάμδα είναι καθολικός με την έννοια ότι οποιαδήποτε υπολογίσιμη συνάρτηση μπορεί να εκφραστεί και να υπολογιστεί χρησιμοποιώντας αυτό το σύστημα.
El cálculo lambda es universal porque cualquier función computable puede ser expresada y evaluada a través de él.

Υπολογίσιμες συναρτήσεις χρησιμοποιούνται για να συζητήσουν υπολογισιμότητα, χωρίς να αναφέρονται σε κανένα συγκεκριμένο μοντέλο υπολογισμού όπως παραδείγματος χάρη οι μηχανές Τούρινγκ ή οι μηχανές εγγραφών.
Las funciones computables son usadas para discutir sobre computabilidad sin referirse a ningún modelo de computación concreto, como el de la máquina de Turing o el de la máquina de registros.

Σήμερα αυτά συχνά θεωρούνται ως μια ενιαία υπόθεση η Church–Turing thesis η οποία ορίζει ότι κάθε λειτουργία που είναι υπολογίσιμη από τον αλγόριθμο είναι μια υπολογίσιμη συνάρτηση.
Hoy en día ambos se consideran como una única hipótesis, la Tesis de Church-Turing, la cual establece que cualquier función que sea computable por un cierto algoritmo es una función computable.

Κάθε τέτοια συνάρτηση είναι υπολογίσιμη.
Cada impacto cuenta como tanto.

Πρακτικά, από την στιγμή που οι παράγωγοι απλών συναρτήσεων είναι γνωστές, οι παράγωγοι άλλων συναρτήσεων είναι πιο εύκολα υπολογίσιμοι χρησιμοποιώντας κανόνες για την εύρεση της παραγώγου σύνθετων συναρτήσεων μέσω απλούστερων.
En la práctica, únicamente las derivadas de unas pocas funciones son conocidas, las derivadas de otras funciones son fáciles de calcular utilizando reglas para obtener derivadas de funciones más complicadas de otras más simples.

Και οι δύο έχουν τυπώσει την ακόλουθη υποσημείωση * στον όγκο Davis από τον Κουρτ Γκέντελ το 1965: «Για να είμαι πιο ακριβής: η λειτουργία των ακεραίων είναι υπολογίσιμη σε κάθε επίσημο σύστημα που περιέχει αριθμητική αν και μόνο αν είναι υπολογίσιμη στην αριθμητική, όπου η συνάρτηση f ονομάζεται υπολογίσιμη στο S αν υπάρχει σε ένα υπολογίσιμο S που αντιπροσωπεύει την f» (σελ. 150).
Ambas reimpresiones tienen la siguiente nota a pie de página * añadida al volumen de Davis por Gödel en 1965: "Para ser más precisos: una función que trabaje sobre los enteros es computable por cualquier sistema formal que contenga la aritmética si y solo si es computable en la aritmética, donde una función f se denomina computable en S si hay en S un término computable representando f (p.

Στη μαθηματική λογική και την επιστήμη των υπολογιστών, οι μ-αναδρομικές συναρτήσεις είναι μια κατηγορία μερικών συναρτήσεων από φυσικούς αριθμούς σε φυσικούς αριθμούς που είναι "υπολογίσιμη" σε μια διαισθητική αίσθηση.
En lógica matemática y computación, las funciones recursivas o también conocidas como funciones recursivas-μ son una clase de funciones de los números naturales en los números naturales que son «computables» en un sentido intuitivo.