首页
学习
活动
专区
圈层
工具
发布
    • 综合排序
    • 最热优先
    • 最新优先
    时间不限
  • 来自专栏UAI人工智能

    父亲节纪念人工智能之父们

    早在 1950 年我们可以看到 Alan Turing 的 Computability and intelligence 中已经对机器能否拥有智能进行过深入的探讨。 ?

    89670发布于 2018-06-21
  • 来自专栏全栈工程师成长之路

    2017计算机系书单推荐

    Mathematics (3学分) 15-355 现代计算机代数Modern Computer Algebra (2学分) 15-453 形式化语言与自动机Formal Languages, Automata, and Computability Catching: Automated Program Verification and Testing (2学分) 21-300 基本逻辑 Basic Logic (2学分) 80-311 复杂性 Computability

    1.9K100发布于 2018-05-10
  • 来自专栏机器之心

    7 Papers & Radios |ImageNet top-1准确率突破90%遭质疑;GAN反转研究综述

    目录: Superintelligence Cannot be Contained: Lessons from Computability Theory Meta Pseudo Labels Ten Weekly Radiostation:NLP、CV、ML 更多精选论文(附音频) 论文 1:Superintelligence Cannot be Contained: Lessons from Computability

    58210发布于 2021-02-23
  • 来自专栏大数据文摘

    分析3000份技术面试数据:这几大指标比你毕业于哪所学校更要紧

    https://www.udacity.com/course/intro-to-algorithms--cs215 可计算性,复杂性和算法 https://www.udacity.com/course/computability-complexity-algorithms

    56530发布于 2018-05-25
  • 来自专栏腾讯社交用户体验设计

    TDW设计周2023 | DAY1精彩回顾

    第七位分享的嘉宾是特赞科技Tezign创始人及CEO、同济大学设计人工智能实验室主任范凌,本次他演讲的主题是《创意的可计算性/ the Computability of Creativity》。

    1.1K40编辑于 2023-08-03
  • 来自专栏Python七号

    每个程序员都应该阅读的最有影响力的书是什么?

    Object-Oriented Analysis and Design with Applications by Grady Booch Effective Java by Joshua Bloch Computability

    64930编辑于 2021-12-21
  • 来自专栏机器学习与统计学

    深度学习与传统 CS 的教学和课程有什么区别?

    即使以可计算理论(Computability Theory)这种理论性比较强的课来说,其要求的知识广度也不及深度学习。

    88330发布于 2019-05-10
  • 来自专栏企鹅号快讯

    深度学习的教学和课程,与传统 CS 的教学和课程有什么区别?

    即使以可计算理论 (Computability Theory) 这种理论性比较强的课来说,其要求的知识广度也不及深度学习。

    1K70发布于 2018-01-30
  • 来自专栏AI研习社

    深度学习的教学和课程,与传统 CS 的教学和课程有什么区别?

    即使以可计算理论 (Computability Theory) 这种理论性比较强的课来说,其要求的知识广度也不及深度学习。

    1.2K80发布于 2018-03-16
  • 来自专栏零域Blog

    「SF-LC」6 Logic

    Notes on Computability.

    77020编辑于 2022-03-14
  • 来自专栏机器之心

    「任性」的C语言之父:因拒付论文装订费错失博士学位,论文52年后重见天日

    在哥德尔之后,美国数学家阿隆佐 · 邱奇(Alonzo Church)使用类似的可计算性(computability)论点形成了逻辑证明,该证明不仅表明数学不总是可判定的,一些数学表述甚至无法确定真假。

    57820发布于 2020-07-23
  • 来自专栏C语言中文社区

    “任性”的 C 语言之父:因拒付论文装订费错失博士学位,论文 52 年后重见天日

    在哥德尔之后,美国数学家阿隆佐 · 邱奇(Alonzo Church)使用类似的可计算性(computability)论点形成了逻辑证明,该证明不仅表明数学不总是可判定的,一些数学表述甚至无法确定真假。

    33330编辑于 2022-05-30
  • 来自专栏一个会写诗的程序员的博客

    编程语言进化史《禅与计算机程序设计艺术》 / 陈光剑

    其中一个著名的不能解决的问题就是停机问题: In computability theory, the halting problem is the problem of determining, from In computability theory, a system of data-manipulation rules (such as a computer’s instruction set, a

    2.4K10发布于 2021-04-30
  • 来自专栏新智元

    图灵机就是深度学习最热循环神经网络RNN?1996年论文就已证明!

    .: Computability, Complexity, and Languages---Fundamentals of Theoretical Computer Science.

    1K10编辑于 2023-01-09
  • 来自专栏漫漫深度学习路

    10 Books that could Make you a Better C++ Programmer

    It was a paper on Turing machines and the limits of computability, which had a major impact on computer

    78910发布于 2019-05-29
  • 来自专栏鲜枣课堂

    一张通往计算机世界的地图

    这个问题直接在计算机理论这个分支中延伸出了一个领域——可计算性理论(Computability Theory)。可计算性理论是一个用来确定哪些问题能够用图灵机进行计算并得出最终结果的学科。

    1.1K31发布于 2019-07-19
  • 来自专栏C语言入门到精通

    “任性”的 C 语言之父:因拒付论文装订费错失博士学位,论文 52 年后重见天日

    在哥德尔之后,美国数学家阿隆佐 · 邱奇(Alonzo Church)使用类似的可计算性(computability)论点形成了逻辑证明,该证明不仅表明数学不总是可判定的,一些数学表述甚至无法确定真假。

    5212218发布于 2020-12-23
  • 来自专栏孟岩的区块链思考

    可计算 NFT:概念、意义和核心思想

    Solv 创建的 vNFT 致力于为非匀质化通证 NFT 添加可计算性(computability),即在保留 NFT 强大的个性化描述能力的同时,使“数量”成为其 NFT 的核心属性,使之能够支持数学运算

    1.2K20发布于 2021-07-23
  • 来自专栏WindCoder

    可计算性理论与复杂性介绍

    原文:An Introduction to Computability Theory and Complexity 作者: MEHMET BAJIN 正文 你有没有想过:你正在阅读这篇文章的设备究竟是什么

    2.1K10发布于 2018-09-19
  • 来自专栏ATYUN订阅号

    干货整理:国外150个免费的在线编程和计算机科学课程(2017年9月更新)

    Technology via Independent ★★★★☆ 39.可计算性、复杂性和算法 地址:https://www.class-central.com/mooc/1024/udacity-computability-complexity-algorithms

    1.8K101发布于 2018-03-05
领券