Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Computer programs --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Correctness --- Logic, symbolic and mathematical --- -Logic, Symbolic and mathematical --- #TCPW P6.3 --- 681.3*D24 --- 681.3*E3 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files --- Computer software --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Data encryption: data encryption standard; DES; public key cryptosystems --- Logic, Symbolic and mathematical. --- Correctness. --- 681.3*E3 Data encryption: data encryption standard; DES; public key cryptosystems --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Correctness of computer programs --- Program correctness (Computer science) --- Debugging in computer science --- Computer programs - Correctness

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Parallel processing (Electronic computers) --- Computer programs --- Parallélisme (Informatique) --- Correctness --- -Parallel processing (Electronic computers) --- 681.3*C12 --- 681.3*D4 --- 681.3*F12 --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files --- Computer software --- Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Operating systems--See also {681.3*C} --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*D4 Operating systems--See also {681.3*C} --- 681.3*C12 Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Correctness of computer programs --- Program correctness (Computer science) --- Debugging in computer science --- Logic, Symbolic and mathematical --- Computer programs - Correctness

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

A guide to understanding the inner workings and outer limits of technology and why we should never assume that computers always get it right. "In Artificial Unintelligence, Meredith Broussard argues that our collective enthusiasm for applying computer technology to every aspect of life has resulted in a tremendous amount of poorly designed systems. We are so eager to do everything digitally--hiring, driving, paying bills, even choosing romantic partners--that we have stopped demanding that our technology actually work. Broussard, a software developer and journalist, reminds us that there are fundamental limits to what we can (and should) do with technology. With this book, she offers a guide to understanding the inner workings and outer limits of technology--and issues a warning that we should never assume that computers always get things right. Making a case against technochauvinism--the belief that technology is always the solution--Broussard argues that it's just not true that social problems would inevitably retreat before a digitally enabled Utopia. To prove her point, she undertakes a series of adventures in computer programming. She goes for an alarming ride in a driverless car, concluding 'the cyborg future is not coming any time soon'; uses artificial intelligence to investigate why students can't pass standardized tests; deploys machine learning to predict which passengers survived the Titanic disaster; and attempts to repair the U.S. campaign finance system by building AI software. If we understand the limits of what we can do with technology, Broussard tells us, we can make better choices about what we should do with it to make the world better for everyone."--Provided by publisher.

Electronic data processing --- Computer programs --- Errors. --- Mistakes --- Fallibility --- Correctness of computer programs --- Program correctness (Computer science) --- Debugging in computer science --- Logic, Symbolic and mathematical --- Social aspects. --- Correctness. --- INFORMATION SCIENCE/General --- artificial intelligence --- computer programming --- Philosophy and psychology of culture --- Artificial intelligence. Robotics. Simulation. Graphics --- Datenverarbeitung --- обрада података --- gegevensverwerking --- obdelava podatkov --- përpunim të të dhënave --- duomenų apdorojimas --- databehandling --- procesarea datelor --- trattamento dei dati --- επεξεργασία δεδομένων --- processamento de dados --- proċessar tad-data --- traitement des données --- обработка на данни --- obrada podataka --- обработка на податоци --- tratamiento de datos --- zpracování dat --- tietojenkäsittely --- adatfeldolgozás --- andmetöötlus --- spracovanie údajov --- datu apstrāde --- próiseáil sonraí --- przetwarzanie danych --- traitement électronique des données --- trattamento elettronico dei dati --- tratamiento electrónico de datos --- elektronické spracovanie údajov --- automatizované spracovanie údajov --- автоматска обработка на податоци --- automatska obrada podataka --- elektronikus adatfeldolgozás --- automatiseeritud andmetöötlus --- automātiskā datu apstrāde --- elektronička obrada podataka --- beeldverwerking --- tratamento de imagem --- elektroniskā datu apstrāde --- automatinis duomenų apdorojimas --- përpunim automatik i të dhënave --- automatic data processing --- electronic data processing --- adatkezelés --- automaatne andmetöötlus --- automaattinen tietojenkäsittely --- επεξεργασία εικόνων --- përpunim elektronik i të dhënave --- prelucrarea automată a datelor --- tratamento eletrónico dos dados --- traitement des images --- tratamento dos dados --- procesarea automată a datelor --- processamento informático --- elaborazione dei dati --- billedbehandling --- elektronické zpracování dat --- procesarea electronică a datelor --- elektrooniline andmetöötlus --- elektronische Datenverarbeitung --- Bildverarbeitung --- elektroninis duomenų apdorojimas --- tratamento de dados --- bildbehandling --- trattamento delle immagini --- automatické zpracování dat --- elektronische gegevensverwerking --- tratamiento de gráficos --- софтуер --- λογισμικό --- софтвер (умотворина) --- tarkvara --- Software --- programmatūra --- programinė įranga --- ohjelmisto --- programmel --- softuer --- softwer --- software --- софтвер --- szoftver --- programvara --- logiciel --- oprogramowanie --- softvér --- computerprogramma --- bogearraí --- programska oprema --- program software --- industrie software --- aplikační programové vybavení --- ανάπτυξη πληροφορικής --- software d'attuazione --- desenvolvimento informático --- programiranje --- programinės įrangos kūrimas --- program de calculator --- programmēšana --- softwarový průmysl --- software-industrie --- programminženierija --- ríomhchlárú --- vývoj informačních technologií --- programa de computador --- Programmierung --- sviluppo di software --- programação informática --- soporte lógico informático --- industri e softuerëve --- edb-program --- sviluppo informatico --- разработване на програми --- ohjelmistoala --- tarkvaratehnika --- програмирање --- tarkvaratööstus --- szoftverfejlesztés --- tarkvarapakett --- softver --- programación informática --- progiciel --- Softwaretechnologie --- programinės įrangos pramonė --- tietokoneen ohjelmointi --- programma software --- software package --- Anwendungssoftware --- desenvolvimento de software --- software development --- datorprogram --- ohjelmistosuunnittelu --- προγραμματισμός Η/Υ --- programmeren --- vývoj softvéru --- tietokoneohjelma --- computer programme --- kompiuterio programavimas --- pacáiste bogearraí --- softwareudvikling --- indústria do software --- Rechnerprogramm --- mjukvara --- softwareontwerp --- arvutiprogrammeerimine --- firmware --- dezvoltare de software --- programinės įrangos technika --- kompiuterio programa --- razvoj programske opreme --- programska podrška --- programme d'ordinateur --- софтверски пакет --- programozás --- standardiserad programvara --- arvutiprogramm --- πληροφορικά προγράμματα --- Softwareindustrie --- programska potpora --- programmazione informatica --- programování --- conceção de software --- industria del software --- ríomhchlárúchán --- industrie du logiciel --- software di base --- balík programů --- počítačový program --- programvaruindustri --- programmatūras pakotne --- softwareontwikkeling --- programmelindustri --- razvoj softvera --- datorprogrammering --- microprogramma --- softwarový balík --- programa de ordenador --- számítógépes program --- ingegneria del software --- softvérový balík --- inxhinieri e softuerëve --- počítačové programovanie --- développement logiciel --- ohjelmistopakkaus --- programa informático --- tietotekniikan kehittäminen --- forbairt bogearraí --- programmation informatique --- desarrollo de programas informáticos --- ohjelmistokehitys --- vývoj softwaru --- programmapakket --- βιομηχανία προγραμμάτων Η/Υ --- softvérové inžinierstvo --- EDV-Programm --- datorprogramma --- softwareindustri --- προγράμματα συστημάτων Η/Υ --- sada programů --- softwarová technologie --- Software-Engineering --- software industry --- dezvoltare informatică --- suporte lógico --- Informatikentwicklung --- edb-programmering --- Standardsoftware --- aplikační software --- softwarové inženýrství --- innealtóireacht bogearraí --- paketë softueri --- tarkvaraarendus --- programové vybavení --- ríomhchlár --- programma di calcolatore --- προγράμματα ηλεκτρονικών υπολογιστών --- softvérový priemysel --- programmatuur --- ανάπτυξη λογισμικού --- software engineering --- informatikai fejlesztés --- programų paketas --- software applicativo --- développement informatique --- szoftvergyártás --- programmering --- programmatūras izstrāde --- żvilupp ta' softwer --- software aplicativ --- programa de aplicação --- génie logiciel --- развитие на информационните технологии --- programim kompjuterik --- program kompjuterik --- информатичко решение --- inteligência artificial --- kunstmatige intelligentie --- mesterséges intelligencia --- inteligencia artificial --- tekoäly --- sztuczna inteligencja --- вештачка интелигенција --- umetna inteligenca --- mākslīgais intelekts --- umělá inteligence --- künstliche Intelligenz --- inteligență artificială --- tehisintellekt --- изкуствен интелект --- artificiell intelligens --- intelligence artificielle --- intleacht shaorga --- intelligenza artificiale --- intelliġenza artifiċjali --- umelá inteligencia --- dirbtinis intelektas --- τεχνητή νοημοσύνη --- umjetna inteligencija --- inteligjencë artificiale --- kunstig intelligens --- calcolatore di quinta generazione --- συστήματα λήψης αποφάσεων --- sistema inteligente --- ayuda a la decisión --- sistem expert --- ajuda à decisão --- ekspertinė sistema --- expert system --- szakértői rendszer --- συστήματα εμπειρογνώμονες --- expertsystem --- strumento di aiuto alla decisione --- wissensbasierendes System --- IA --- Expertensystem --- KI --- konstgjord intelligens --- expertný systém --- sistem ekspert --- asiantuntijajärjestelmä --- sistema experto --- systeemexpert --- ekspertsistēma --- ekspertsüsteem --- système expert --- sistema esperto --- Entscheidungshilfe --- aide à la décision --- sistema di supporto alle decisioni --- τεχνητή ευφυΐα --- expertní systém --- Errors --- SOCIAL SCIENCE --- Electronic data processing. --- x General. --- 2 bisacsh --- x Correctness. --- 2 fast --- 0 (OCoLC)fst00872413 --- 0 (OCoLC)fst00906956 --- 0 (OCoLC)fst00915038